Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Bücher
Zeitschriften
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
MTZ-Fachkongress

Antriebe und Energiesysteme von morgen


Austausch von Automobil- und Energiewirtschaft

Am 14./15. Mai geht es in Chemnitz um die Mobilitätswende durch Elektro- und Wasserstofffahrzeuge.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
Introduction Kapitel lesen Erstes Kapitel lesen

2013 | OriginalPaper | Buchkapitel

12. Tooling

verfasst von : Michael Butler, Laurent Voisin, Thomas Muller

Erschienen in: Industrial Deployment of System Engineering Methods

Verlag: Springer Berlin Heidelberg

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

Together with many Rodin plug-ins, the Rodin platform supports the application of refinement-based development using Event-B and linked methods. This chapter outlines the management of the development and evolution of these tools during the lifetime of the DEPLOY project in response to deployment needs and methodological developments. The planning and maintenance process is described and a range of specific tool features developed to meet specific needs are outlined.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

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!

Jetzt informieren

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!

Jetzt informieren

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!

Jetzt informieren
Vorheriges Kapitel Introducing Formal Methods into Existing Industrial Practices
Nächstes Kapitel Technology Transfer
Fußnoten
1
Named after Camille Claudel (1864–1943), a French sculptor and graphic artist. She also was Rodin’s source of inspiration, his model, confidante and lover.
 
3
This claim rests on the assumption that the implementation of the translation is correct. We regard this a reasonable assumption, as the implementation of the translation is quite straightforward and concise.
 
Literatur
1.
Andrews, P.B.: An Introduction to Mathematical Logic and Type Theory. Springer, Berlin (2002) MATHCrossRef
2.
3.
de Moura, L.M., Bjørner, N.: Z3: An efficient SMT solver. In: Proc. TACAS, Lecture Notes in Computer Science, vol. 4963, pp. 337–340. Springer, Berlin (2008)
4.
5.
6.
7.
8.
Edmunds, A., Rezazadeh, A., Butler, M.: Formal modelling for Ada implementations: Tasking Event-B. In: Proc. Ada Europe 2012, Lecture Notes in Computer Science. Springer, Berlin (2012)
9.
10.
11.
Gordon, M.J.C., Melham, T.F.: Introduction to HOL. Cambridge University Press, Cambridge (1993) MATH
12.
13.
14.
15.
16.
Iliasov, A.: Augmenting Event-B specifications with control flow information. In: Proc. NODES’10 (2010)
17.
Iliasov, A.: Augmenting formal development with use case reasoning. In: Proc. Ada Europe 2012 (2012)
18.
Iliasov, A.: Use case scenarios as verification conditions: Event-B/flow approach. In: Proc. 3rd International Workshop on Software Engineering for Resilient Systems, SERENE’11 (2011)
19.
20.
Jastram, M., Graf, A.: Requirements Modeling Framework. Eclipse Mag. 6.11, 87–92 (2011)
21.
Jastram, M., Graf, A.: Requirement traceability in topcased with the requirements interchange format (RIF/ReqIF). In: First Topcased Days Toulouse (2011)
22.
Jastram, M., Hallerstede, S., Ladenberger, L.: Mixing formal and informal model elements for tracing requirements. In: Proc. Automated Verification of Critical Systems (AVoCS) (2011)
23.
Jastram, M., Hallerstede, S., Leuschel, M., Russo, A.G.: An approach of requirements tracing in formal refinement. In: Proc. VSTTE. Springer, Berlin (2010)
24.
Jastram, M.: ProR, an open source platform for requirements engineering based on RIF. In: SEISCONF (2010)
25.
26.
Loesch, F., Gmehlich, R., Grau, K., Mazzara, M., Jones, C.: DEPLOY deliverable D1.1: Report on pilot deployment in automotive sector (D19) (2010)
27.
Lopatkin, I., Iliasov, A., Romanovsky, A.: On fault tolerance reuse during refinement. In: Proc. 2nd International Workshop on Software Engineering for Resilient Systems, SERENE’10, London, UK (2010). Available as CS-TR-1188 at Newcastle University, UK
28.
Lopatkin, I., Prokhorova, Y., Troubitsyna, E., Iliasov, A., Romanovsky, A.: Patterns for representing FMEA in formal specification of control systems. Technical report 1003, TUCS Turku, Finland (2003)
29.
Meng, J., Paulson, L.C.: Lightweight relevance filtering for machine-generated resolution problems. J. Appl. Log. 7(1), 41–57 (2009) MathSciNetMATHCrossRef
30.
31.
Nipkow, T., Paulson, L.C., Wenzel, M.: Isabelle/HOL—A Proof Assistant for Higher-Order Logic. Lecture Notes in Computer Science, vol. 2283. Springer, Berlin (2002) MATH
32.
33.
Riazanov, A., Voronkov, A.: The design and implementation of vampire. AI Commun. 15(2–3), 91–110 (2002) MATH
34.
35.
Röder, J.: Relevance filters for Event-B. Master Thesis, ETH Zurich (2010)
36.
Roederer, A., Puzis, Y., Sutcliffe, G.: Divvy: An ATP meta-system based on axiom relevance ordering. In: Proc. CADE, Lecture Notes in Computer Science, vol. 5663, pp. 157–162. Springer, Berlin (2009)
37.
Schmalz, M.: Formalizing the logic of Event-B: Partial functions, definitional extensions, and automated theorem proving. PhD Thesis, ETH Zurich (2012)
38.
39.
40.
Sutcliffe, G., Puzis, Y.: SRASS—A semantic relevance axiom selection system. In: Proc. CADE. Lecture Notes in Computer Science, vol. 4603, pp. 295–310. Springer, Berlin (2007)
41.
42.
43.
Metadaten
Titel
Tooling
verfasst von
Michael Butler
Laurent Voisin
Thomas Muller
Copyright-Jahr
2013
Verlag
Springer Berlin Heidelberg
Buch
Industrial Deployment of System Engineering Methods

Print ISBN: 978-3-642-33169-5

Electronic ISBN: 978-3-642-33170-1

Copyright-Jahr: 2013

DOI
https://doi.org/10.1007/978-3-642-33170-1_12

Premium Partner

    Bildnachweise