1399 search results - page 4 / 280 » A Component Model for Control-Intensive Distributed Embedded... |
139
Voted
ISAS
2007
Springer
15 years 8 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...
136
Voted
ISORC
2005
IEEE
15 years 7 months ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
145
click to vote
IJES
2006
15 years 2 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...
136
click to vote
EMSOFT
2001
Springer
15 years 6 months ago
2001
Springer
Abstract This paper is sort of a confession. Issues of synchrony, asynchrony, and synchronization, arise frequently in designing embedded systems from components, like everyone I k...
154
Voted
ICFEM
2010
Springer
15 years 22 days ago
2010
Springer
Abstract. Today’s software systems are becoming increasingly configurable and designed for deployment on a plethora of architectures, ranging from sequential machines via multic...