14 search results - page 1 / 3 » Languages for Safety-Critical Software: Issues and Assessmen... |
ICSE
2007
IEEE-ACM
13 years 11 months 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, ...
MODELS
2007
Springer
13 years 11 months ago
2007
Springer
Many safety-related and certification standards exist for developing safety-critical systems. Safety assessments are performed in practice, and system certification according to a...
CF
2004
ACM
13 years 10 months ago
2004
ACM
In a future networked physical world, a myriad of smart sensors and actuators assess and control aspects of their environments and autonomously act in response to it. Examples ran...
HPCN
2000
Springer
13 years 8 months ago
2000
Springer
The paper presents the implementation of a railway control system, as a means of assessing the potential of coordination languages to be used for modelling software architectures f...
EDM
2010
13 years 6 months ago
2010
Current peer-review software lacks intelligence for responding to students' reviewing performance. As an example of an additional intelligent assessment component to such soft...