1 / 1

Reusing Real-Time Systems Design Experience Through Modelling Patterns

Electronic Systems. Reusing Real-Time Systems Design Experience Through Modelling Patterns. Oana Florescu 1 , Jeroen Voeten 1,2 , Marcel Verhoef 3 , Henk Corporaal 1 1 Eindhoven University of Technology, 2 Embedded Systems Institute, 3 Chess Information Technology.

hayden
Download Presentation

Reusing Real-Time Systems Design Experience Through Modelling Patterns

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. ElectronicSystems Reusing Real-Time Systems Design Experience Through Modelling Patterns Oana Florescu1, Jeroen Voeten1,2, Marcel Verhoef3, Henk Corporaal1 1Eindhoven University of Technology, 2Embedded Systems Institute, 3Chess Information Technology Real-Time Systems Modelling SHE methodology: • POOSL – formally defined modelling language • SHESim – interactive model creation and simulation • Rotalumis – fast evaluation of properties • Real-time systems components: • tasks (periodic, aperiodic, ...) • resources (processor, bus, ...) • scheduling (priority, round-robin, ...) • POOSL modelling patterns: • compact, parameterisable templates • “plug-and-play” • easy construction of correct models for design space exploration Models Composition and Analysis Model analysis: • deadlock • schedulability • deadline miss ratio • task jitter • CPU workload => => A Printer Paper-Path An In-Car Navigation System Possible architectures Analyse schedulability and CPU workload End-to-end delay that is to be checked against the requirements Analyse task jitter Conclusions • Modelling patterns allow easy composition and analysis of design space exploration models based on “plug-and-play” • They take into account uncertainties usually left out Research carried out as part of the project.

More Related