Starting ASD
Starting ASD is a 3-day course that focuses on the basics of ASD
This course is intended for software architects and designers who have just started to use ASD. No prior knowledge of the ASD:Suite is required.
The Starting ASD course ensures that you are able to take the lead in a design project using ASD and the ASD:Suite to build software components. The course covers the following topics:
- Overview of ASD and the ASD:Suite
- ASD execution semantics, including:
- Synchronous and asynchronous designs
- Threading
- ASD interface models
- ASD design models
- ASD timers
- Basic principles of the ASD:ModelChecker, including:
- Checking for deadlock freedom
- Checking for livelock freedom
- Checking for race conditions
- Checking invariants
- Checking predicates
- Basic principles of the ASD:CodeGenerator, including:
- Parameter specification
- Parameter passing
- Integration with hand-written software
- Customization of headers and footers in generated code
Hands-on examples and exercises apply ASD modelling techniques to realistic problems based on industrial cases.
Prerequisites
Knowledge and experience as a software architect, designer and/or test manager in complex technical or embedded software engineering.
It is assumed that architects and designers are familiar with concurrency issues like deadlocks, livelocks and race conditions.
Course length: 3 days
Get in touch
For more information or a product demonstration contact us.
 |
+31-40-2359090 |
 |
+31-40-2359099 |
 |
info@verum.com |
 |
Location |
