Sciweavers

602 search results - page 17 / 121
» Co-simulation of Distributed Embedded Real-Time Control Syst...
Sort
View
ISAS
2007
Springer
14 years 1 months ago
MDDPro: Model-Driven Dependability Provisioning in Enterprise Distributed Real-Time and Embedded Systems
Service oriented architecture (SOA) design principles are increasingly being adopted to develop distributed real-time and embedded (DRE) systems, such as avionics mission computin...
Sumant Tambe, Jaiganesh Balasubramanian, Aniruddha...
DAIS
2008
13 years 9 months ago
Towards Middleware for Fault-Tolerance in Distributed Real-Time and Embedded Systems
Distributed real-time and embedded (DRE) systems often require support for multiple simultaneous quality of service (QoS) properties, such as real-timeliness and fault tolerance, t...
Jaiganesh Balasubramanian, Aniruddha S. Gokhale, D...
FM
2006
Springer
97views Formal Methods» more  FM 2006»
13 years 11 months ago
Modeling and Validating Distributed Embedded Real-Time Systems with VDM++
Marcel Verhoef, Peter Gorm Larsen, Jozef Hooman
RTAS
2005
IEEE
14 years 1 months ago
Applying Sensitivity Analysis in Real-Time Distributed Systems
During real-world design of embedded real-time systems, it cannot be expected that all performance data required for scheduling analysis is fully available up front. In such situa...
Razvan Racu, Marek Jersak, Rolf Ernst