Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

ECDAR #4

Open
Laursen79 opened this issue Sep 26, 2022 · 2 comments
Open

ECDAR #4

Laursen79 opened this issue Sep 26, 2022 · 2 comments

Comments

@Laursen79
Copy link
Contributor

Laursen79 commented Sep 26, 2022 •
edited
Loading

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?
@Laursen79 Laursen79 mentioned this issue Sep 26, 2022
Open
@S3JER
Copy link
Contributor

S3JER commented Sep 28, 2022

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

@S3JER
Copy link
Contributor

S3JER commented Sep 28, 2022

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

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@Laursen79 @S3JER