Abstract | ||
---|---|---|
This article deals with real-time critical systems modelling and verification. Real-time scheduling theory provides algebraic methods and algorithms in order to make timing constraints verifications of these systems. Nevertheless, many industrial projects do not perform analysis with real-time scheduling theory even if demand for use of this theory is large and the industrial application field is wide (avionics, aerospace, automotive, autonomous systems, 驴). The Cheddar project investigates why real-time scheduling theory is not used and how its usability can be increased. The project was launched at the University of Brest in 2002. In Lecture Notes on Computer Sciences, vol. 5026, pp. 240---253, 2008, we have presented a short overview of this project. This article is an extended presentation of the Cheddar project, its contributions and also its ongoing works. |
Year | DOI | Venue |
---|---|---|
2009 | 10.1007/s11241-009-9072-y | Realtime systems |
Keywords | Field | DocType |
Scheduling theory,Architecture modelling and verification,AADL,Software engineering tools | Aerospace,Scheduling theory,Computer science,Usability,Avionics,Real-time computing,Autonomous system (Internet),Automotive industry | Journal |
Volume | Issue | ISSN |
43 | 3 | 0922-6443 |
Citations | PageRank | References |
11 | 0.78 | 33 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Frank Singhoff | 1 | 93 | 17.70 |
Alain Plantec | 2 | 67 | 11.41 |
Pierre Dissaux | 3 | 43 | 5.51 |
Jérôme Legrand | 4 | 16 | 1.91 |