Model-Based Schedulability Analysis of Real-Time Systems
Authors
Kragh-Hansen, Henrik ; Olsen, Petur ; Bøgholm, Thomas
Term
4. term
Education
Publication year
2008
Pages
137
Abstract
Dette speciale præsenterer SARTS, et modelbaseret værktøj, der kontrollerer planlægbarhed (schedulability) i hårde realtidssystemer skrevet i Java. I hårde realtidssystemer er det uacceptabelt at overskride deadlines. SARTS oversætter programmer implementeret med SCJ2—en sikkerhedskritisk Java-profil udviklet i dette projekt og baseret på SCJ—til en tidsbevarende model, der analyseres med UPPAAL, et modelleringsværktøj. Værktøjet er målrettet JOP, en tidsforudsigelig Java-processor udviklet specifikt til hårde realtidssystemer. Eksperimenter sammenligner SARTS med eksisterende værktøjer og teknikker og viser, at en modelbaseret tilgang kan give mere præcise analyser end traditionelle metoder. SARTS er brugt til at verificere en realtids-sorteringsmaskine med to periodiske opgaver (kører med faste intervaller) og to sporadiske opgaver (udløses uregelmæssigt). Rapporten skitserer også fremtidige forbedringer og forskningsretninger. Dokument, kildekode og andet materiale findes på den vedlagte CD og på http://sarts.boegholm.dk/.
This thesis presents SARTS, a model-based tool that checks the schedulability of hard real-time systems written in Java. In hard real-time systems, missing a deadline is unacceptable. SARTS translates programs implemented with SCJ2—a safety-critical Java profile developed in this project and based on SCJ—into a time-preserving model for analysis with UPPAAL, a modeling tool. The tool targets JOP, a time-predictable Java processor developed specifically for hard real-time systems. Experiments compare SARTS with existing tools and techniques and show that a model-based approach can provide more accurate analyses than traditional methods. SARTS has been used to verify a real-time sorting machine with two periodic tasks (executed at regular intervals) and two sporadic tasks (triggered irregularly). The report also outlines future improvements and research directions. The document, source code, and other materials are available on the enclosed CD and at http://sarts.boegholm.dk/.
[This abstract was generated with the help of AI]
Keywords
Documents