An overview of our major technical systems projects :
- Industry / IT-Architecture for a reactor controller
- Railway syndicate / specification of safety critical systems
Railway syndicate / specification of safety critical systems
Evaluation and introduction of the Unified Modelling Language (UML®) serve as means of formulating the requirements for safety-sensitive systems (railway interlocking systems).
 |
Projekt Euro-Interlocking |
Our Tasks
- Training of railway engineers in UML®
- Establishing guidelines for using UML® with interlocking systems
- Clarify possibilities to do the formal verification of requirements
- Building a reference model in UML®
- Cooperate with different universities in the field of formal verification
- Creating an executable specification on the basis of CASSANDRA/xUML®
Technology
ARTiSAN RtS, CASSANDRA/xUML®, NuSMV, Statemate
Industry / IT-Architecture for a reactor controller
Control software for automatic chemistry reactors including complex analyses
Our Tasks
- Training of the employees in UML® with a focus on technical systems
- Monitoring of the specification process
- Support with the application of CASE Tool
- Architecture / detail design
- Essential assistance in the development
- Procurement of resources through project-relevant know-how
- 100% code generator for state diagrams with CASSANDRA
Technology
Visual Basic, COM