[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php

Bibliographic Item (1.0)

LevesonEtal99b

  1. Nancy Leveson & Mats Heimdahl & Jon D Reese
  2. A CAD environment for safety-Critical Software
  3. In [HincheyBowen99] pp139-156
  4. =ADVERT PROTOTYPE FORMAL TOOL RISKS NASA RSM RSML TCAS FAA STATECHARTS FSM AND/OR SpecTRM-RL Safeware
  5. Describes the plans for a tool to aid the specification of safe systems that contain software.
  6. Importance of embedding software safety inside system safety.
  7. Definitions of mishap, accident, hazard, risk.
  8. Code generation is feasible but the result is 5-10 times slower and twice as large as human optimized code.

    [LevesonEtal99]


Search for bibliographic items containing a matching string.


(Search uses POSIX regular expressions and ignores case)

Search for a specific bibliographic item by name.



To see the complete bibliography (1Mb+) select:[Bibliography]