2025 search results - page 7 / 405 » A Reliable Software Architecture for Complex Embedded System... |
EDCC
2008
Springer
13 years 9 months ago
2008
Springer
In avionics domain, the software applications grew to millions of source lines of code representing important development expenditures. To cut the costs, the avionics suppliers ar...
SOFTVIS
2006
ACM
14 years 1 months ago
2006
ACM
Understanding complex software systems requires getting insight in how system properties, such as performance, trust, reliability, or structural attributes, correspond to the syst...
DATE
2008
IEEE
14 years 1 months ago
2008
IEEE
As levels of parallelism are becoming increasingly complex in multiprocessor architectures, GALS, and asynchronous circuits, methodologies and software tools are needed to verify ...
RTAS
2009
IEEE
14 years 2 months ago
2009
IEEE
Embedded systems in safety-critical environments demand safety guarantees while providing many useful services that are too complex to formally verify or fully test. Existing appl...
SAC
2010
ACM
14 years 2 months ago
2010
ACM
This paper presents a language dedicated to the description of the software architecture of complex embedded control systems. The language relies on the synchronous approach but e...