ECDAR - Githubissues

Laursen79 commented 2 years ago

Write an introductory section about ECDAR. It should contain:

Present ECDAR as a tool for model checking.
What is model checking?
Why is model checking important? (including example)
What are the challenges in model checking?
How does ECDAR help to solve these challenges?
Timed Input/Output Automata
The architecture: What are the different components that make up ECDAR, how do they relate to each other and how do they communicate?
ECDAR is not completed yet - What is the current state of ECDAR?

S3JER commented 2 years ago

Many of the groups needs to know what locations, states and clocks are. Maybe add a subsection for that?

S3JER commented 2 years ago

The satilite example could be added if needed to showcase a realtime system?

Ecdar-SW5 / report-common