5186 search results - page 146 / 1038 » Embedded Systems |
101
click to vote
EMSOFT
2006
Springer
15 years 1 days ago
2006
Springer
Distributed real-time and embedded (DRE) systems have stringent constraints on timeliness and other properties whose assurance is crucial to correct system behavior. Formal tools ...
117
Voted
ECBS
2011
IEEE
13 years 10 months ago
2011
IEEE
—Developing dependable distributed real-time and embedded (DRE) systems incurs significant complexities in the tradeoffs resulting from the different conflicting attributes of ...
102
click to vote
ISAS
2007
Springer
15 years 4 months ago
2007
Springer
Service oriented architecture (SOA) design principles are increasingly being adopted to develop distributed real-time and embedded (DRE) systems, such as avionics mission computin...
DSN
2006
IEEE
15 years 4 months ago
2006
IEEE
Embedded control systems consist of multiple components with different criticality levels interacting with each other. For example, in a passenger jet, the navigation system inter...
103
click to vote
IJES
2006
14 years 10 months ago
2006
Model-driven development (MDD) is an emerging paradigm that uses domain-specific modeling languages (DSMLs) and generative technologies to provide "correct-by-construction&quo...