A framework for semi-automated formalization of automotive requirements
3 Angebote vergleichen
Bester Preis: € 39,90 (vom 02.08.2019)1
Symbolbild
A framework for semi-automated formalization of automotive requirements - Development and Evaluation
~EN PB NWISBN: 9783330335417 bzw. 3330335416, vermutlich in Englisch, LAP Lambert Academic Publishing, Taschenbuch, neu.
Lieferung aus: Deutschland, Versandkostenfrei.
A framework for semi-automated formalization of automotive requirements: Quantity and intricacy of features implemented in vehicle expand rapidly over past few years. Currently vision of autonomous vehicle is no longer a dream or fantasy movie, but instead a coming actuality. In order to achieve the best quality and high safety, advanced verification techniques are required. Simulink Design Verifier is a model checking tool based on formal verification, which can be effectively used to solve problems concerning error detection and testing at earlier stages of project. Transformation of requirements written in their traditional form into Simulink Design Verifier objectives directly can be time consuming as well as require knowledge of system model and the verification tool. In order to reduce time consumption and guide a user through system model and the verification tool semi-automated framework has been developed. Implementation of restricted English grammar patterns into Simulink objects supports description of patterns to engineers and reduce time consumption. Developed framework is flexible and intuitive hence can be a solution for other branches of industry, but future tests and verification are required. Englisch, Taschenbuch.
A framework for semi-automated formalization of automotive requirements: Quantity and intricacy of features implemented in vehicle expand rapidly over past few years. Currently vision of autonomous vehicle is no longer a dream or fantasy movie, but instead a coming actuality. In order to achieve the best quality and high safety, advanced verification techniques are required. Simulink Design Verifier is a model checking tool based on formal verification, which can be effectively used to solve problems concerning error detection and testing at earlier stages of project. Transformation of requirements written in their traditional form into Simulink Design Verifier objectives directly can be time consuming as well as require knowledge of system model and the verification tool. In order to reduce time consumption and guide a user through system model and the verification tool semi-automated framework has been developed. Implementation of restricted English grammar patterns into Simulink objects supports description of patterns to engineers and reduce time consumption. Developed framework is flexible and intuitive hence can be a solution for other branches of industry, but future tests and verification are required. Englisch, Taschenbuch.
2
A framework for semi-automated formalization of automotive requirements
~EN PB NWISBN: 3330335416 bzw. 9783330335417, vermutlich in Englisch, LAP Lambert Academic Publishing, Taschenbuch, neu.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Lade…