124 search results - page 6 / 25 » Multi-view Software Component Modeling for Dependability |
EUROMICRO
2004
IEEE
15 years 1 months ago
2004
IEEE
Component-based development has proven effective in many engineering domains, and several general component technologies are available. Most of these are focused on providing an e...
ECBS
2010
IEEE
15 years 4 months ago
2010
IEEE
—One of the key challenges in modern real-time embedded systems is safe composition of different software components. Formal verification techniques provide the means for design...
ATAL
2006
Springer
15 years 1 months ago
2006
Springer
Layered architectures are a proven principle for the design of software systems and components. The paper introduces a layered reference architecture for software agents which assi...
HASE
1999
IEEE
15 years 1 months ago
1999
IEEE
The paper introduces a method to model embedded dependability-critical systems as AND-composition of Guarded Statecharts which are special UMLstatecharts. With Guarded Statecharts...
DCOSS
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. The success of high-level programming models in Wireless Sensor Networks (WSNs) is heavily dependent on factors such as ease of programming, code well-structuring, degree...