Abstract | ||
---|---|---|
High-level supervisory control software for automotive applications (e.g., drive-by-wire) presents many challenges to making performance guarantees, which are a necessary part of the software's certification for deployment. The features of such systems demand that a compositional, or modular, approach to reasoning about performance be devised and applied. We discuss one such analytical approach as an alternative to simulation and testing. |
Year | DOI | Venue |
---|---|---|
2005 | 10.1145/1083190.1083196 | ACM SIGSOFT Software Engineering Notes |
Keywords | Field | DocType |
supervisory control,verification,theorem proving,automotive | Software deployment,Software engineering,Systems engineering,Supervisory control,Computer science,Software,Certification,Software verification and validation,Software construction,Software verification,Automotive industry | Journal |
Volume | Issue | ISSN |
30 | 4 | 0163-5948 |
ISBN | Citations | PageRank |
1-59593-128-7 | 0 | 0.34 |
References | Authors | |
15 | 5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Bruce W. Weide | 1 | 575 | 182.57 |
Paolo Bucci | 2 | 124 | 16.58 |
Wayne D. Heym | 3 | 111 | 11.70 |
Murali Sitaraman | 4 | 270 | 40.99 |
Giorgio Rizzoni | 5 | 258 | 56.95 |