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.
Prokhorova, Rigorous Development of Safety-Critical Systems
Normaalihinta 55,85 €
Huomaa pidempi toimitusaika
Huomaa pidempi toimitusaika
Tämä kirja on hankintatuote, joten toimitusaika voi olla tavallista pidempi. Arvioitu toimitusaika on noin 1–4 viikkoa.
- Ilmainen palautus 30 päivää
- Ilmainen toimitus Postin noutopisteeseen yli 100 € ostoksille.
- Asiakasomistajalle Bonusta jopa 5 %.
Oletko tyytyväinen tuotetietoihin?
Ovatko tuotetiedot riittävät? Jos tuotetiedoissa on puutteita tai niitä voisi muuten parantaa, anna palautetta.