Menu
Research Projects
-
- Safety Patterns
- Architectures with Higher-Order Dynamics
- Machine Learning, Data Analysis
- Future E/E Architectures including Software and Networking
- Cost-optimal and Scalable Architectures
- Service-oriented Architectures
-
- Correct by Construction
- Design by Contract
- AUTOSAR
-
- Innovative Future Functions
- Requirements for future E/E architectures
- Future E/E architecture proposal
-
-
- Evaluation of function decomposition guidelines
- Evaluation of component decomposition guidelines
-
- Evaluation of OTX
- OTX-based diagnosis process
-
-
- Process analysis
- E/E architecture evaluation
- E/E architecture development guidence
-
-
-
-
- Generation of executable requirements specification documents
- Visualisation of reaction chains, i.e., visualisation of traceability information between different levels of abstraction
-
- COLA - The Component Language
- Seamless model-driven development of software-intensive automotive systems
- Allocation, scheduling, deployment