Conclusion To summarize We introduced the concepts of AADL - - PowerPoint PPT Presentation

conclusion to summarize
SMART_READER_LITE
LIVE PREVIEW

Conclusion To summarize We introduced the concepts of AADL - - PowerPoint PPT Presentation

Conclusion To summarize We introduced the concepts of AADL Architectural description Patterns for scheduling analysis and code generation Not covered today: Reliability analysis using Error Modeling Annex Modeling of IMA


slide-1
SLIDE 1

Conclusion

slide-2
SLIDE 2

To summarize

We introduced the concepts of AADL

Architectural description Patterns for scheduling analysis and code generation

Not covered today:

Reliability analysis using Error Modeling Annex Modeling of IMA systems + code generation Behavioral modeling + model checking and much more !

page 2

slide-3
SLIDE 3

Materials for this tutorial

All materials can be found in

http://www.aadl.info : updates on AADL standard http://www.openaadl.org : resources around Ocarina http://beru.univ-brest.fr/~singhoff/cheddar/: Cheddar

and real-time scheduling

Materials for this tutorial (slides, examples, etc.)

are on http://www.openaadl.org

Feel free to contact us for more details

12/11/2008 3/24