VECS

VECS

VECS is an Eclipse-based specification framework for the analysis of software-intensive systems. It includes an implementation of the SAML language and model transformations to verification engines like NuSMV and PRISM. Currently, connectors to high-level Software Engineering tools (like Rhapsody or Enterprise Architect) are being developed.

Publikationen

2014

Lipaczewski, Michael; Filax, Marco; Ortmeier, Frank

Bringing VECS to the World - Challenges and Accomplishments in Teaching of Formal Model Analysis Inproceedings

European Conference on Software Engineering Education. - Herzogenrath : Shaker, S. 217-228, 2014.

BibTeX

Filax, Marco; Gonschorek, Tim; Lipaczewski, Michael; Ortmeier, Frank

On Traceability of Informal Specifications for Model-Based Verification Inproceedings

IMBSA 2014: short & tutorial proceedings of the 4th international symposium on model based safety assessment., S. 11-18, Magdeburg : Univ., 2014.

Abstract | Links | BibTeX

Gonschorek, Tim; Filax, Marco; Lipaczewski, Michael; Ortmeier, Frank

VECS - Verification Enviroment for Critical Systems - Tool Supported Formal Modeling an Verification Buchkapitel

IMBSA 2014: short & tutorial proceedings of the 4th international symposium on model based safety assessment. - Magdeburg : Univ., S. 63-64, 2014.

Links | BibTeX

Nykolaichuk, Mykhaylo; Lipaczewski, Michael; Liebusch, Tino; Ortmeier, Frank

On Efficiently Specifying Models for Model Checking Inproceedings

Proceedings of 4th International Symposium on Model Based Safety and Assessment (IMBSA 2014), 2014.

Abstract | Links | BibTeX

Heumüller, Robert; Lipaczewski, Michael; Ortmeier, Frank

A Dataflow Notation for SAML - Formal Modeling Without Fearing Timing Constraints Inproceedings

IMBSA 2014: short & tutorial proceedings of the 4th international symposium on model based safety assessment. - Magdeburg : Univ., S. 43-50, 2014.

BibTeX

2013

Ortmeier, Frank; Lipaczewski, Michael

Teaching and Training Formal Methods for Safety Critical Systems Konferenz

Proceedings of the 39th Euromicro Conference on Iv Software Engineering and Advanced Applications (SEAA 2013), 2013.

Abstract | Links | BibTeX

2012

Ortmeier, Frank; Struck, Simon; Lipaczewski, Michael

Using Model-Based Analysis in Certification of Critical Software-Intensive Systems Inproceedings

Softwareengineering 2012 Workshopband, 2012, ISBN: 978-3-88579-293-2.

Abstract | Links | BibTeX

Struck, Simon; Güdemann, Matthias; Lipaczewski, Michael; Ortmeier, Frank

Multi-Objective Optimization of Formal Specifications Konferenz

IEEE 14th International Symposium on High-Assurance Systems Engineering (HASE 2012), 2012.

Abstract | Links | BibTeX

Lipaczewski, Michael; Struck, Simon; Ortmeier, Frank

SAML goes Eclipse - Combining Model-Based Safety Analysis and High-Level Editor Support Konferenz

Proceedings of the 2nd International Workshop on Developing Tools as Plug-Ins (TOPI), IEEE, 2012.

Abstract | Links | BibTeX

Lipaczewski, Michael; Struck, Simon; Ortmeier, Frank

Using Tool-Supported Model Based Safety Analysis - Progress and Experiences in SAML Development Konferenz

IEEE 14th International Symposium on High-Assurance Systems Engineering (HASE 2012), 2012.

Abstract | Links | BibTeX

Güdemann, Matthias; Lipaczewski, Michael; Struck, Simon; Ortmeier, Frank

Unifying Probabilistic and Traditional Formal Model-Based Analysis Konferenz

Proceedings of 8. Dagstuhl-Workshop on Model-Based Development of Embedded Systems (MBEES), 2012.

Abstract | Links | BibTeX

2011

Güdemann, Matthias; Lipaczewski, Michael; Ortmeier, Frank

Tool Supported Model-Based Safety Analysis and Optimization Konferenz

Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2011), 2011.

Abstract | Links | BibTeX

VECS