منابع مشابه
Dependable embedded systems
The following is an introduction to the special issue on dependable embedded systems. The motivation for this issue came from two large-scale research initiatives, namely the German DFG SPP 1500 “Dependable Embedded Systems” (coordinated by Jörg Henkel from KIT; see also: http://spp1500.itec.kit.edu) and the NSF “Variability Expedition” from theUSA (coordinated byRajesh Gupta from UC San Diego;...
متن کاملDependable Communication Synthesis for Distributed Embedded Systems
Embedded control applications such as drive-by-wire in cars require dependable interaction between various sensors, processors, and actuators. This paper addresses the design of low-cost communication networks guaranteeing to meet both the performance and faulttolerance requirements of such distributed applications. We develop a fault-tolerant allocation and scheduling method, which maps messag...
متن کاملComposability Concept for Dependable Embedded Systems
Composability is a sought after property. However, whereas there is usually an intuitive understanding of this concept, a clear definition has been frequently missing. In this paper, we refine our concept of composability given in [12]. We see composability as a property of an architecture not of systems. In addition, we do not want to reduce composability to the functional specification; rathe...
متن کاملArchitecture-based Verification of Dependable Embedded Systems
Quality assurance of dependable embedded systems is becoming increasingly difficult, as developers are required to build more complex systems on tighter budgets. As systems become more complex, system architects must make increasingly complex architecture design decisions. The process of making the architecture design decisions of an intended system is the very first, and the most significant, ...
متن کامل3rd Workshop on Dependable Embedded Systems
Microkernels and microhypervisors, which we understand to be small hypervisors providing microkernel-like abstractions to build minimal-complex and de-privileged virtual-machine monitors, have become very attractive operating-system alternatives for PCand embedded platforms. This paper highlights initial thoughts towards verifying microkernel-based operating systems and in particular systems ru...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: it - Information Technology
سال: 2015
ISSN: 1611-2776,2196-7032
DOI: 10.1515/itit-2015-0013