1415 search results - page 59 / 283 » Verified systems by composition from verified components |
173
click to vote
RTCSA
2008
IEEE
16 years 21 days ago
2008
IEEE
COMDES-II is a component-based software framework intended for Model Integrated Computing (MIC) of embedded control systems with hard real-time constraints. We present a transforma...
157
click to vote
ENTCS
2007
15 years 6 months ago
2007
This paper promotes compositional reasoning in the context of safety-critical systems, and demonstrates a safety-oriented component model using an application from the automotive ...
175
click to vote
ATAL
2003
Springer
15 years 10 months ago
2003
Springer
What sort of democracies should open agent societies be? We present three normative models of democracy from political philosophy and consider their relevance for the engineering o...
214
click to vote
CAV
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In this paper, we describe the features of the Timed Abstract State Machine toolset. The toolset implements the features of the Timed Abstract State Machine (TASM) langua...
177
click to vote
ECMDAFA
2007
Springer
16 years 14 days ago
2007
Springer
The paper targets the applicability of model-driven methodologies to the validation of complex systems and presents a case study of a mobile radio network. Validation relies on the...