Sökning: "Distributed embedded systems"
Visar resultat 1 - 5 av 105 avhandlingar innehållade orden Distributed embedded systems.
Sammanfattning : The focus of our research work is on readily accessible, embedded, real-time development with concurrency support. To this end, we develop the Real-Time For the Masses (RTFM) programming framework with a model of computation based on tasks and resources and that stipulates a timing semantics. LÄS MER
2. Timing Analysis of Distributed Embedded Systems with Stochastic Workload and Realiability Constraints
Sammanfattning : Today's distributed embedded systems are exposed to large variations in workload due to complex software applications and sophisticated hardware platforms. Examples of such systems are automotive and avionics applications.The tasks running on computational units have variable execution times. LÄS MER
Sammanfattning : Safety-critical systems need to be analyzed rigorously to remove software/specifications errors, that is, their requirements specifications should be unambiguous, comprehensible and consistent, and the software design should conform to the specifications, hence avoiding undesirable system failures. Currently, there is a lack of effective and scalable methods to specify and analyze requirements, and formally analyze the behavioral models of embedded systems. LÄS MER
Sammanfattning : .... LÄS MER
Sammanfattning : Embedded systems are in general designed to do some specific task, rather than be a general-purpose computer for multiple tasks. Common for embedded systems is that processing devices, sensors, transceivers, actuators, networks, and software are built into a system, encapsulated by the device it controls. LÄS MER