Matches in SemOpenAlex for { <https://semopenalex.org/work/W631413208> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W631413208 abstract "The validation of real-life critical systems raises the challenge of being able to formally model and verify complex data, asynchronous concurrency, and real-time aspects simultaneously. High-level languages, such as those inheriting from the theoretical foundations of process algebras, provide a concise syntax and a high expressive power regarding these aspects. Yet, they lack software tools enabling the application of efficient model checking algorithms. On the other hand, such tools exist for graphical, lower level, models such as timed automata (e.g., Uppaal) and time Petri nets (e.g., Tina). Intermediate models are a key to bridge the gap between languages and graphical models. For instance, NTIF (New Technology Intermediate Format) was proposed to represent untimed sequential processes that handle complex data. In this thesis, we propose a new model named ATLANTIF, which extends NTIF with real-time constructs and parallel compositions of sequential processes. Their synchronization is expressed in a simple and intuitive way using the new notion of synchronizers. We show that ATLANTIF is capable of expressing the main constructs of high-level languages. We also present translators from ATLANTIF to timed automata (for verification using Uppaal) and to time Petri nets (for verification using Tina). Thus, ATLANTIF extends the class of systems that can practically be formally verified, which we illustrate along an example." @default.
- W631413208 created "2016-06-24" @default.
- W631413208 creator A5079354289 @default.
- W631413208 date "2009-12-09" @default.
- W631413208 modified "2023-09-25" @default.
- W631413208 title "An Intermediate Model for the Verification of Asynchronous Real-Time Embedded Systems: Definition and Application of the ATLANTIF language" @default.
- W631413208 hasPublicationYear "2009" @default.
- W631413208 type Work @default.
- W631413208 sameAs 631413208 @default.
- W631413208 citedByCount "0" @default.
- W631413208 crossrefType "dissertation" @default.
- W631413208 hasAuthorship W631413208A5079354289 @default.
- W631413208 hasConcept C110251889 @default.
- W631413208 hasConcept C112505250 @default.
- W631413208 hasConcept C127162648 @default.
- W631413208 hasConcept C151319957 @default.
- W631413208 hasConcept C154945302 @default.
- W631413208 hasConcept C161771561 @default.
- W631413208 hasConcept C193702766 @default.
- W631413208 hasConcept C199360897 @default.
- W631413208 hasConcept C2778562939 @default.
- W631413208 hasConcept C31258907 @default.
- W631413208 hasConcept C38677869 @default.
- W631413208 hasConcept C41008148 @default.
- W631413208 hasConcept C60048249 @default.
- W631413208 hasConcept C80444323 @default.
- W631413208 hasConceptScore W631413208C110251889 @default.
- W631413208 hasConceptScore W631413208C112505250 @default.
- W631413208 hasConceptScore W631413208C127162648 @default.
- W631413208 hasConceptScore W631413208C151319957 @default.
- W631413208 hasConceptScore W631413208C154945302 @default.
- W631413208 hasConceptScore W631413208C161771561 @default.
- W631413208 hasConceptScore W631413208C193702766 @default.
- W631413208 hasConceptScore W631413208C199360897 @default.
- W631413208 hasConceptScore W631413208C2778562939 @default.
- W631413208 hasConceptScore W631413208C31258907 @default.
- W631413208 hasConceptScore W631413208C38677869 @default.
- W631413208 hasConceptScore W631413208C41008148 @default.
- W631413208 hasConceptScore W631413208C60048249 @default.
- W631413208 hasConceptScore W631413208C80444323 @default.
- W631413208 hasLocation W6314132081 @default.
- W631413208 hasOpenAccess W631413208 @default.
- W631413208 hasPrimaryLocation W6314132081 @default.
- W631413208 hasRelatedWork W1494561662 @default.
- W631413208 hasRelatedWork W1564966319 @default.
- W631413208 hasRelatedWork W1567923353 @default.
- W631413208 hasRelatedWork W1588830055 @default.
- W631413208 hasRelatedWork W1603300900 @default.
- W631413208 hasRelatedWork W1667346276 @default.
- W631413208 hasRelatedWork W1767621068 @default.
- W631413208 hasRelatedWork W1878784542 @default.
- W631413208 hasRelatedWork W1950381142 @default.
- W631413208 hasRelatedWork W1957836338 @default.
- W631413208 hasRelatedWork W1992657833 @default.
- W631413208 hasRelatedWork W2018396715 @default.
- W631413208 hasRelatedWork W2068707390 @default.
- W631413208 hasRelatedWork W2129292921 @default.
- W631413208 hasRelatedWork W2168927272 @default.
- W631413208 hasRelatedWork W2591411088 @default.
- W631413208 hasRelatedWork W2612519590 @default.
- W631413208 hasRelatedWork W3047989016 @default.
- W631413208 hasRelatedWork W54061235 @default.
- W631413208 hasRelatedWork W2520787395 @default.
- W631413208 isParatext "false" @default.
- W631413208 isRetracted "false" @default.
- W631413208 magId "631413208" @default.
- W631413208 workType "dissertation" @default.