Rigorous Development of Safety-Critical Systems (Pehmeäkantinen kirja)

  • bvseo_sdk, java_sdk, bvseo-3.2.0
  • CLOUD, getContent, 154ms
  • bvseo-msg: The resource to the URL or file is currently unavailable.;
+ / - Hover over image to Zoom

Toimitusaika 7 - 22 arkipäivää

Nouto myymälästä tai pakettiautomaatista alk. 0 €
Toimitus kotiin alk. 2,95 €
This thesis proposes an integrated approach to the rigorous development and verification of safety-critical systems that (1) facilitates elicitation of safety requirements and their incorporation into formal models, (2) simplifies formal modelling and verification by proposing specification and refinement patterns, and (3) assists in the construction of safety cases from the artefacts generated by formal reasoning. Our chosen formal framework is Event-B. It allows us to tackle the complexity of safety-critical systems as well as to structure safety requirements by applying abstraction and stepwise refinement. The Rodin platform, a tool supporting Event-B, assists in automatic model transformations and proof-based verification of the desired system properties. The proposed approach has been validated by several case studies from different application domains.
Kun ostat verkkokaupasta:
  1. 1 Laskulla jopa 60 päivää korotonta maksuaikaa.
  2. 2 Yli 65€ ostoista toimitus veloituksetta myymälään tai pakettiautomaattiin.
  3. 3 Bonus ostoista jopa 5 %
  4. 4 Tuotteilla ilmainen palautusoikeus 14 päivän ajan.