2650 search results - page 5 / 530 » Simulation and Control of Reactive Systems |
APSEC
2007
IEEE
14 years 1 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...
RISE
2005
Springer
14 years 1 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...
CAISE
2001
Springer
14 years 1 days 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,...
ICST
2010
IEEE
13 years 6 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
14 years 1 months ago
2005
IEEE