3425 search results - page 479 / 685 » A Model Driven Approach for Software Systems Reliability |
133
click to vote
DATE
2005
IEEE
15 years 9 months ago
2005
IEEE
Accurate timing analysis is key to efficient embedded system synthesis and integration. While industrial control software systems are developed using graphical models, such as Ma...
129
click to vote
CODES
2006
IEEE
15 years 10 months ago
2006
IEEE
Accurate modeling of communication is a necessary part of system level design for real-time safety-critical applications. For efficient prediction of a system’s performance, Tra...
150
click to vote
EUROMICRO
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper presents the modeling paradigm for Integrated Modular Avionics Design MIMAD V0, which is an extensible component-oriented framework that enables high level models of sy...
114
click to vote
ER
2005
Springer
15 years 9 months ago
2005
Springer
This paper proposes an agent-oriented meta-model that provides rigorous concepts for conducting enterprise modelling. The aim is to allow analysts to produce an enterprise model th...
144
Voted
EMSOFT
2006
Springer
15 years 7 months ago
2006
Springer
We describe a simple scheme for mapping synchronous language models, in the form of Boolean Mealy Machines, into timed automata. The mapping captures certain idealized implementat...