139 search results - page 9 / 28 » Complex Reactive Real Time Systems and the Safety Case |
IJAOSE
2010
13 years 5 months ago
2010
CASO is an agent-oriented programming language based on AgentSpeak(L), one of the most influential abstract languages based on the BDI (Beliefs-Desires-Intentions) architecture. ...
ICSE
2007
IEEE-ACM
14 years 26 days ago
2007
IEEE-ACM
Safety-critical systems (whose anomalous behavior could have catastrophic consequences such as loss of human life) are becoming increasingly prevalent; standards such as DO-178B, ...
ECRTS
2007
IEEE
14 years 1 months ago
2007
IEEE
Existing real-time research focuses on how to formulate, model and enforce timeliness guarantees for task sets whose correctness has a temporal aspect. However, the resulting syst...
FORMATS
2008
Springer
13 years 8 months ago
2008
Springer
Abstract. The design of critical embedded real-time systems requires high confidence in the architecture and the implemented functionalities. Classically, such functions are suppor...
ECRTS
2002
IEEE
13 years 11 months ago
2002
IEEE
General-purpose operating systems are ill-equipped to meet the quality of service (QoS) requirements of complex real-time applications. Consequently, many classes of realtime appl...