Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
Published in:
Formal Methods—A Need for Practical Applications Read chapter Read first chapter

2018 | OriginalPaper | Chapter

9. Design Fault Identification in MBD for Safety Critical Systems

Authors : Benkmann Ruben, Gourish Kumbar, S. Mouneshwar

Published in: Formal Methods for Safety and Security

Publisher: Springer Singapore

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

This paper provides a novel method of identifying a set of design faults in Simulink\TargetLink models and production code generation well before generating the test cases. These models can be used for development of safety critical systems. We have developed stand-alone application which transforms TargetLink model to EA compatible UML (Unified Modeling Language) model represented as packages and composite structure diagrams. The entire process makes use of dSPACE and MathWorks tools.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

inform now
previous chapter Formal Methods: Techniques, Applications, Thrust Areas and Future Prospects
next chapter Formal Methods Workflow for Model-Based Development
Literature
1.
Object Management Group. OMG Unified Modeling Language Specification v1.5: Revisions and recommendations, Mar 2003. Version 1.5. OMG Document formal/03-03-01
2.
Jürjens J, Grünbauer J (2003) Critical systems development with UML: overview with automotive case-study. In: Software and systems engineering, TU Munich, Germany
3.
Metadata
Title
Design Fault Identification in MBD for Safety Critical Systems
Authors
Benkmann Ruben
Gourish Kumbar
S. Mouneshwar
Copyright Year
2018
Publisher
Springer Singapore
Book
Formal Methods for Safety and Security

Print ISBN: 978-981-10-4120-4

Electronic ISBN: 978-981-10-4121-1

Copyright Year: 2018

DOI
https://doi.org/10.1007/978-981-10-4121-1_9

Premium Partner

    Image Credits