Browsing by Subject "embedded systems"
Now showing items 1-6 of 6
-
(2005-04-07)Department: Electrical EngineeringEngineering design is a process of tradeoff analysis. Design decisions are evaluated, often involving quantitative comparisons between relevant metrics of goodness. Design space exploration formalizes the process of ...
-
(2008-04-14)Department: Computer ScienceThe prevailing paradigm in the regime of resource-constrained embedded devices is event-driven programming. An event-driven application consists of a small runtime and a set of event handlers that execute in response to ...
-
(2011-04-16)Department: Electrical EngineeringHigh confidence embedded control system software often requires formal analyses to ensure design correctness. Detailed models cover numerous design concerns such as controller stability, timing requirements, fault tolerance, ...
-
(2010-03-23)Department: Electrical EngineeringThis project is aimed at developing a system allowing Mobile Ad hoc Networks (MANETs) to perform distributed tasks within a fault-tolerant context, called the Distributed Apt Resource Transference System (DARTS). By creating ...
-
(2008-04-17)Department: Electrical EngineeringIn low-end microcontroller systems task scheduling is often not done, performed using very ad-hoc methods, or using a high-overhead RTOS. In this paper we offer an alternative: the design-time generation of high-precision ...
-
(2016-10-19)Department: Computer ScienceDistributed real-time embedded systems that address safety and mission-critical system requirements are applied in a variety of heterogeneous domains today e.g. avionics, automotive systems, locomotives, and industrial ...