Using formal methods with SysML in aerospace design and engineering

DOI10.1007/S10472-011-9267-5MaRDI QIDQ434438zbMATH OpenOpenAlexFDO

Authors Henson Graves, Yvonne Bijan

Publication date 10 July 2012

Published in Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10472-011-9267-5

zbMATH Keywords

description logictype theorydesign by refinementMBSEOWLSysML

Mathematics Subject Classification ID

Knowledge representation (68T30) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in artificial intelligence (68T27)

Recommendations

• Model based control system design using SysML, Simulink, and Computer Algebra System
• scientific article; zbMATH DE number 2107183
• RCOS: a formal model-driven engineering method for component-based software
• Stepwise Development of Simulink Models Using the Refinement Calculus Framework
• Designing the automatic transformation of visual languages

Cites work

• scientific article; zbMATH DE number 2127501 (Why is no real title available?)
• scientific article; zbMATH DE number 3859117 (Why is no real title available?)
• scientific article; zbMATH DE number 3930354 (Why is no real title available?)
• scientific article; zbMATH DE number 3959364 (Why is no real title available?)
• AN ELEMENTARY THEORY OF THE CATEGORY OF SETS
• An axiomatic basis for computer programming
• Communicating sequential processes
• La logique des topos
• Reasoning on UML class diagrams
• The B-Book
• The Description Logic Handbook
• The calculus of constructions
• Theoretical Pearls:Representing ‘undefined’ in lambda calculus

Describes a project that uses

Uses Software

• Specware
• SysML

This page was built for publication: Using formal methods with SysML in aerospace design and engineering

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