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:
An Examination of the Effect of the Contextual UI Design Quality of Mobile Shopping Applications on the Loyalty of Users to the Applications Read chapter Read first chapter

2018 | OriginalPaper | Chapter

A Model-Based Transformation from SCR Specification Models into Altatica3.0 Design Models

Authors : Jun Hu, Mingming Wang, Weijun Zhang, Wanqian Li

Published in: Advances in Computer Science and Ubiquitous Computing

Publisher: Springer Singapore

Log in

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

search-config
loading …

Abstract

In the safety critical field, Model-based system safety analysis and verification has become an important methodology. In this paper, by using SCR specification of four variables model, and translate this specification into AltaRica3.0 model. We studied the relationship between the semantic of four-variable model and AltaRica3.0 model, and put forward transformation rules. Finally, we give a case study of a wheel brake system (WBS) to show the process of transformation and validation.

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 A Model and Application of Collaborative Simulation Training System for Substation Based on Virtual Reality
next chapter Simulation and Verification of Software Architecture for Loosely-Coupled Distributed System
Literature
1.
Miller, S.P., Tribble, A.C.: Extending the four-variable model to bridge the system-software gap. In: Digital Avionics Systems DASC Conference, vol. 1, pp. 4E5/1–4E5/11 (2001)
2.
Farkas, H., Noszticzius, Z.: Analytical investigation of a four-variable model of the BZ reaction. React. Kinet. Catal. Lett. 33(1), 93–98 (1987)CrossRef
3.
Patcas, L.M., Lawford, M., Maibaum, T.: From system requirements to software requirements in the four-variable model. In: Automated Verification of Critical Systems, vol. 66 (2014)
4.
Patcas, L.M., Lawford, M., Maibaum, T.: Implementability of requirements in the four-variable model. Sci. Comput. Program. 111, 339–362 (2015)CrossRef
5.
Batteux, M., Prosvirnova, T., Rauzy, A., et al.: The AltaRica 3.0 project for model-based safety assessment. In: Proceedings of the 2013 11th IEEE International Conference on Industrial Informatics (INDIN) (2013)
6.
Heitmeyer, C.L., Jeffords, R.D., Labaw, B.G.: Automated consistency checking of requirements specifications. In: Proceedings of the ACM Transactions on Software Engineering and Methodology (1996)
7.
Joshi, A., Miller, S.P., Whalen, M., et al.: A proposal for model-based safety analysis. In: The 24th Proceedings of the Digital Avionics Systems Conference, DASC 2005 (2005)
8.
Cassez, F., Pagetti, C., Roux, O.: A timed extension for AltaRica. Fundamenta Informaticae 62(3–4), 291–332 (2001)MathSciNetMATH
Metadata
Title
A Model-Based Transformation from SCR Specification Models into Altatica3.0 Design Models
Authors
Jun Hu
Mingming Wang
Weijun Zhang
Wanqian Li
Copyright Year
2018
Publisher
Springer Singapore
Book
Advances in Computer Science and Ubiquitous Computing

Print ISBN: 978-981-10-7604-6

Electronic ISBN: 978-981-10-7605-3

Copyright Year: 2018

DOI
https://doi.org/10.1007/978-981-10-7605-3_101