dc.contributor.author | Gustafsson, J. | |
dc.contributor.author | Lisper, B. | |
dc.contributor.author | Kirner, Raimund | |
dc.contributor.author | Puschner, P. | |
dc.contributor.editor | Bacellar, L. | |
dc.contributor.editor | Kim, K.H. | |
dc.contributor.editor | Romano, L. | |
dc.contributor.editor | Russo, S. | |
dc.date.accessioned | 2016-03-03T12:35:34Z | |
dc.date.available | 2016-03-03T12:35:34Z | |
dc.date.issued | 2004 | |
dc.identifier.citation | Gustafsson , J , Lisper , B , Kirner , R & Puschner , P 2004 , Input-dependency analysis for hard real-time software . in L Bacellar , K H Kim , L Romano & S Russo (eds) , 9th IEEE Int Workshop on Object-oriented Real-time Dependable Systems : (WORDS 2003 Fall) . IEEE COMPUTER SOC , LOS ALAMITOS , pp. 53-60 , 9th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems , Anacapri , 1/10/03 . https://doi.org/10.1109/WORDS.2003.1267490 | |
dc.identifier.citation | conference | |
dc.identifier.isbn | 0-7695-2054-5 | |
dc.identifier.uri | http://hdl.handle.net/2299/16677 | |
dc.description.abstract | The execution time of soft-ware for hard real-time systems must be predictable. Further safe and not overly pessimistic bounds for the worst-case execution time (WCET) must be computable. We conceived a programming strategy called WCET-oriented programming and a code transformation strategy, the single-path conversion, that aid programmers in producing code that meets these requirements. These strategies avoid respectively eliminate input-data dependencies in the code. The paper describes the formal analysis, based on abstract interpretation, that identifies input-data dependencies in the code and thus forms the basis for the strategies provided for hard real-time code development. | en |
dc.format.extent | 8 | |
dc.format.extent | 190129 | |
dc.language.iso | eng | |
dc.publisher | IEEE COMPUTER SOC | |
dc.relation.ispartof | 9th IEEE Int Workshop on Object-oriented Real-time Dependable Systems | |
dc.title | Input-dependency analysis for hard real-time software | en |
dc.contributor.institution | Centre for Computer Science and Informatics Research | |
dc.contributor.institution | Department of Computer Science | |
dc.contributor.institution | School of Physics, Engineering & Computer Science | |
dc.contributor.institution | Centre for Future Societies Research | |
rioxxterms.versionofrecord | 10.1109/WORDS.2003.1267490 | |
rioxxterms.type | Other | |
herts.preservation.rarelyaccessed | true | |