[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php
Bibliographic Item (1.0)
- Nancy Leveson & Mats Heimdahl & Jon D Reese
- A CAD environment for safety-Critical Software
- =ADVERT PROTOTYPE FORMAL TOOL RISKS NASA RSM RSML TCAS FAA STATECHARTS FSM AND/OR SpecTRM-RL Safeware
- Describes the plans for a tool to aid the specification of safe systems that contain software.
- Importance of embedding software safety inside system safety.
- Definitions of mishap, accident, hazard, risk.
- Code generation is feasible but the result is 5-10 times slower and twice as large as human optimized code.
Search for bibliographic items containing a matching string.
Search for a specific bibliographic item by name.
To see the complete bibliography (1Mb+) select:[Bibliography]