Sciweavers

485 search results - page 16 / 97
» System Safety Requirements as Control Structures
Sort
View
ATAL
2005
Springer
14 years 2 months ago
A cooperative multi-agent approach to free flight
The next generation of air traffic control will require automated decision support systems in order to meet safety, reliability, flexibility, and robustness demands in an environ...
Jared C. Hill, F. Ryan Johnson, James K. Archibald...
HCI
2009
13 years 6 months ago
High-Fidelity Prototyping of Interactive Systems Can Be Formal Too
The design of safety critical systems calls for advanced software engineering models, methods and tools in order to meet the safety requirements that will avoid putting human life ...
Philippe A. Palanque, Jean-François Ladry, ...
CAISE
2003
Springer
14 years 2 months ago
Modelling Telecare Service Requirements for Older People Using the Unified Modelling Language
Providing technology support for older people offers distinct challenges for social and IT systems delivery. The definition and integration of services, the diversity of supply, va...
Ken Lunn, Andrew Sixsmith, Ann Lindsay, Marja Vaar...
SCP
2008
144views more  SCP 2008»
13 years 8 months ago
Implicit ownership types for memory management
Abstract. The Real-time Specification for Java (RTSJ) introduced a range of language features for explicit memory management. While the RTSJ gives programmers fine control over mem...
Tian Zhao, Jason Baker, James Hunt, James Noble, J...
DATE
2010
IEEE
141views Hardware» more  DATE 2010»
14 years 1 months ago
Loosely Time-Triggered Architectures for Cyber-Physical Systems
Abstract—Cyber-Physical Systems require distributed architectures to support safety critical real-time control. Kopetz’ Time-Triggered Architectures (TTA) have been proposed as...
Albert Benveniste