4350 search results - page 253 / 870 » Case studies for contract-based systems |
181
click to vote
ICFEM
2010
Springer
15 years 5 months ago
2010
Springer
This paper compares six model checkers (Alloy, cadp, fdr2, NuSMV, ProB, Spin) for the validation of information system specifications. The same case study (a library system) is s...
157
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents a game-theoretic approach to the testing of uncontrollable real-time systems. By modelling the systems with Timed I/O Game Automata and specifying the test pur...
165
click to vote
GLOBECOM
2008
IEEE
16 years 1 months ago
2008
IEEE
—OFDM systems have gained utmost importance for wireless communications requiring ever higher data rates. The maximum data rate that can be achieved is, however, limited by the w...
184
click to vote
RTCSA
2008
IEEE
16 years 1 months 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...
172
click to vote
DATE
2007
IEEE
16 years 29 days ago
2007
IEEE
In this paper we study the global scheduling of periodic task systems with arbitrary deadlines upon identical multiprocessor platforms. We first show two very general properties ...