399 search results - page 16 / 80 » Verification of System Level Model Transformations |
130
click to vote
ARCS
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. In order to support the dependability analysis of a system under design in an early phase of the design process, so-called fault tolerance libraries can be created that c...
122
click to vote
APN
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. High-Level net models following the paradigm “nets as tokens” have been studied already in the literature with several interesting applications. In this paper we prop...
122
click to vote
IJCIS
2006
15 years 2 months ago
2006
of modern businesses, separation of concern mechanisms and abstractions are needed. iven development (MDD) approaches utilize abstraction and transformation to handle ty. In MDD, s...
126
click to vote
RTSS
1999
IEEE
15 years 6 months ago
1999
IEEE
In this paper, we demonstrate a high-level approach to modeling and analyzing complex safety-critical systems through a case study in the area of air traffic management. In partic...
151
click to vote
HASE
2008
IEEE
15 years 2 months ago
2008
IEEE
Designing safety-critical systems is a complex process, and especially when the design is carried out at different f abstraction where the correctness of the design at one level i...