2650 search results - page 5 / 530 » Simulation and Control of Reactive Systems |
126
click to vote
APSEC
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper presents a model-based approach to requirements engineering for reactive systems; we use an elevator controller as case study. We identify and justify two key propertie...
151
click to vote
RISE
2005
Springer
15 years 10 months ago
2005
Springer
Usually complex systems are controlled by an operator co-operating with a computer-based controller. The controlling software runs in continuous interaction with the operator and c...
137
click to vote
CAISE
2001
Springer
15 years 9 months ago
2001
Springer
Reactive systems are systems whose purpose is to maintain a certain desirable state of affairs in their environment, and include information systems, groupware, workflow systems,...
169
click to vote
ICST
2010
IEEE
15 years 3 months ago
2010
IEEE
—In this case study we test a landing gear control system of a military aircraft with the new version of LUTESS, a tool for testing automatically synchronous software. LUTESS req...
ICRA
2005
IEEE
15 years 10 months ago
2005
IEEE