Sciweavers

9 search results - page 1 / 2
» Model-Integrated Embedded Systems
Sort
View
GI
2004
Springer
15 years 9 months ago
Model-based Middleware for Embedded Systems
: In this paper we describe the advantages of a model-based approach to embedded component middleware. Component infrastructures such as Enterprise JavaBeans, Microsoft’s COM+ an...
Chris Salzmann, Martin Thiede, Markus Völter
GI
2003
Springer
15 years 9 months ago
Evaluation of Thread-Based Virtual Duplex Systems in Embedded Environments
: Virtual duplex systems have emerged as an alternative to traditional duplex systems, trading structural for temporal redundancy. When used in dependable embedded systems, virtual...
Jörg Keller, Andreas Grävinghoff
GI
2004
Springer
15 years 9 months ago
Reliability study of an embedded operating system for industrial applications
: Critical industrial applications or fault tolerant applications need for operating systems (OS) which guarantee a correct and safe behaviour despite the appearance of errors. In ...
Juan Pardo, José Carlos Campelo, Juan Jos&e...
GI
2003
Springer
15 years 9 months ago
New Software Technology in Space: BOSS - a Dependable Open Source Embedded Operating System
: BOSS targets a principle which the world forgot a long time ago: Simplicity. BOSS is an embedded real time operating system for safety critical applications. Our experience shows...
Sergio Montenegro
GI
2007
Springer
15 years 7 months ago
The Use of Complex Stateflow-Charts with KIEL - An Automotive Case Study
Abstract: Modeling systems with Statecharts has become standard practice in the design of reactive embedded devices. However, the modeling of realistic applications with the paradi...
Steffen Prochnow, Reinhard von Hanxleden