185 search results - page 10 / 37 » SOFL: A Formal Engineering Methodology for Industrial Applic... |
113
click to vote
ISESE
2006
IEEE
15 years 5 months ago
2006
IEEE
Effective testing of safety-critical real-time embedded software is difficult and expensive. Many companies are hesitant about the cost of formalized criteria-based testing and a...
102
click to vote
DATE
2009
IEEE
15 years 6 months ago
2009
IEEE
—This paper reports on experience gained and lessons learned from an intensive investigation of model-driven engineering methodology and technology for application to high-integr...
DFG
2004
Springer
15 years 5 months ago
2004
Springer
In the ForMoSA project [17] an integrated approach for safety analysis of critical, embedded systems has been developed. The approach brings together the best of engineering practi...
EUROMICRO
2009
IEEE
15 years 6 months ago
2009
IEEE
—We propose a software engineering process to aid the development of Dynamic Software Architectures (DSAs). This process is based on the sequential application of a number of for...
MASCOTS
2003
15 years 1 months ago
2003
We review the DEVS modeling and simulation framework Its fundamental concepts are discussed from the standpoint of discrete event information processing with an example drawn from...