Role of formal methods in the automobile industry

DOI10.1007/978-1-4020-6254-4_14MaRDI QIDQ3564030zbMATH OpenOpenAlexFDO

Authors Thomas Fuhrman

Publication date 2 June 2010

Published in Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-1-4020-6254-4_14

zbMATH Keywords

communication protocolsmodel translationsoftware architecturemodel-driven designdistributed electrical architecturehybrid system modeling

Mathematics Subject Classification ID

Automated systems (robots, etc.) in control theory (93C85) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• On the correctness of upper layers of automotive systems
• scientific article; zbMATH DE number 1746449
• FM 2005: Formal Methods
• Encapsulating formal methods within domain specific languages: a solution for verifying railway scheme plans
• scientific article; zbMATH DE number 1706328

Cited in

(5)

• A structured approach to evaluating the impact of implementing a component-based system in the automotive engine manufacturing domain
• scientific article; zbMATH DE number 1708113 (Why is no real title available?)
• Encapsulating formal methods within domain specific languages: a solution for verifying railway scheme plans
• On the correctness of upper layers of automotive systems
• Efficient virtual design and testing of autonomous vehicles

This page was built for publication: Role of formal methods in the automobile industry

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3564030)