MOdel-based DEsign & Verification for Safety-Critical Embedded Systems

Project Deliverables

Following are the deliverables of MODEVES project:

Serial #

Title

Type

Availability

Evaluation of state-of-the-art

1

Overview of MBSE for Embedded Systems

Technical report

Download

2

Industrial Survey

Technical report

Download

3

Tools Selection

Technical report

Download

4

Requirement Specification

Technical report

Download

MODEVES Framework

5

MODEVES Modeling Methodology

Technical report

Download

6

MODEVES Transformation Engine

Executable file

Download

7

MODEVES Transformation Engine

Source code

Download

8

Modeves User Manual and Installation Guide

Help document

Download

9

Sample Case Studies

UML models

Download

10

MODEVES Tutorials

Video files

View

UMLSV Profile

11

Sample Case Studies

UML models

Download

12

UMLSV Transformation Engine

Executable file

Download

13

UMLSV Transformation Engine

Source code

Download

CCSL Based Modeling Methodology

14

Semantics Of Graphical Temporal and Logical Patterns

Technical report

Download

15

TemLoPAC Plugin Installation Guide and Users' Manual

Help document

Download

16

Observation Profile for Modeling Graphical Patterns

UML profile

Download

17

Sample Properties to use with TemLoPAC Plugin

Sample properties

Download

18

TemLoPAC Source Code

Source code

Download