Modelling a real-time control system using parameterized linear hybrid automata
| dc.contributor.author | Schwarz, Christian | |
| dc.contributor.editor | Heiß, Hans-Ulrich | |
| dc.contributor.editor | Pepper, Peter | |
| dc.contributor.editor | Schlingloff, Holger | |
| dc.contributor.editor | Schneider, Jörg | |
| dc.date.accessioned | 2018-11-27T09:59:16Z | |
| dc.date.available | 2018-11-27T09:59:16Z | |
| dc.date.issued | 2011 | |
| dc.description.abstract | Many real-time systems operate in safety-critical environments. Testing of these systems is hard in principle and can never guarantee full coverage. So a method for formally proving correctness is desirable. Another problem in real-time system design is the determination of deadlines and periods of time-critical processes as a prerequisite of the scheduler design. We want to use Hybrid Automata (HA) to tackle both problems. HA are a formal language that is equipped with semantics and thus accessible to formal analysis. We introduce the syntax and semantics of a new class of HA called Parameterized Linear Hybrid Automata and demonstrate its advantages by modelling a typical real-time control system using an extended version of the tool HieroMate. | en |
| dc.identifier.isbn | 978-88579-286-4 | |
| dc.identifier.pissn | 1617-5468 | |
| dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/18673 | |
| dc.language.iso | en | |
| dc.publisher | Gesellschaft für Informatik e.V. | |
| dc.relation.ispartof | INFORMATIK 2011 – Informatik schafft Communities | |
| dc.relation.ispartofseries | Lecture Notes in Informatics (LNI) - Proceedings, Volume P-192 | |
| dc.title | Modelling a real-time control system using parameterized linear hybrid automata | en |
| dc.type | Text/Conference Paper | |
| gi.citation.endPage | 328 | |
| gi.citation.publisherPlace | Bonn | |
| gi.citation.startPage | 328 | |
| gi.conference.date | 4.-7. Oktober 2011 | |
| gi.conference.location | Berlin | |
| gi.conference.sessiontitle | Regular Research Papers |
Dateien
Originalbündel
1 - 1 von 1