Sciweavers

2025 search results - page 29 / 405
» A Reliable Software Architecture for Complex Embedded System...
Sort
View
ECBS
2008
IEEE
170views Hardware» more  ECBS 2008»
15 years 3 months ago
A Platform-Based Software Design Methodology for Embedded Control Systems: An Agile Toolkit
A discrete control system, with stringent hardware constraints, is effectively an embedded real-time system and hence requires a rigorous methodology to develop the software invol...
Lucas Cordeiro, Carlos Mar, Eduardo Valentin, Fabi...
CODES
2006
IEEE
15 years 9 months ago
Integrated analysis of communicating tasks in MPSoCs
Predicting timing behavior is key to efficient embedded real-time system design and verification. Especially memory accesses and co-processor calls over shared communication net...
Simon Schliecker, Matthias Ivers, Rolf Ernst
FSTTCS
1994
Springer
15 years 6 months ago
On the Interactive Complexity of Graph Reliability
We give an interactive protocol for s-t RELIABILITY, the well known reliability problem on graphs. Our protocol shows that if IP(f(n)) denotes the class of languages whose interac...
Jean Marc Couveignes, Juan Francisco Diaz-Frias, M...
175
Voted
BIRTHDAY
2012
Springer
13 years 11 months ago
The Logical Execution Time Paradigm
Embedded systems must interact with their real-time environment in a timely and dependable fashion. Most embeddedsystems architectures and design processes consider “nonfunction...
Christoph M. Kirsch, Ana Sokolova
JSS
2008
90views more  JSS 2008»
15 years 3 months ago
Early quality monitoring in the development of real-time reactive systems
The increasing trend toward complex software systems has highlighted the need to incorporate quality requirements earlier in the development cycle. We propose a new methodology fo...
Olga Ormandjieva, Vangalur S. Alagar, Mao Zheng