Integration of iUML-B and UPPAAL Timed Automata for Development of Real-Time Systems with Concurrent Processes (English)
- New search for: Shokri-Manninen, Fatima
- New search for: Tsiopoulos, Leonidas
- New search for: Vain, Jüri
- New search for: Waldén, Marina
- New search for: Shokri-Manninen, Fatima
- New search for: Tsiopoulos, Leonidas
- New search for: Vain, Jüri
- New search for: Waldén, Marina
In:
Rigorous state-based methods
; 186-202
;
2020
-
ISBN:
- Conference paper / Print
-
Title:Integration of iUML-B and UPPAAL Timed Automata for Development of Real-Time Systems with Concurrent Processes
-
Contributors:Shokri-Manninen, Fatima ( author ) / Tsiopoulos, Leonidas ( author ) / Vain, Jüri ( author ) / Waldén, Marina ( author )
-
Conference:ABZ ; 7. ; 2020 ; Ulm
-
Published in:Rigorous state-based methods ; 186-202
-
Publisher:
- New search for: Springer
-
Place of publication:Cham
-
Publication date:2020
-
ISBN:
-
Type of media:Conference paper
-
Type of material:Print
-
Language:English
- New search for: 005.131
- Further information on Dewey Decimal Classification
- New search for: 54.10
- Further information on Basic classification
-
Keywords:
-
Classification:
-
Source:
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 3
-
Modelling and Verification of Robotic Platforms for Simulation Using RoboStar TechnologyCavalcanti, Ana et al. | 2020
- 6
-
Adding Concurrency to a Sequential Refinement TowerSchellhorn, Gerhard / Bodenmüller, Stefan / Pfähler, Jörg / Reif, Wolfgang et al. | 2020
- 27
-
Diverse Scenario Exploration in Model Finders Using Graph Kernels and ClusteringClarisó, Robert / Cabot, Jordi et al. | 2020
- 44
-
Formal Verification of Interoperability Between Future Network Architectures Using AlloyJahanian, Mohammad / Chen, Jiachen / Ramakrishnan, K. K. et al. | 2020
- 61
-
Experiences on Teaching Alloy with an Automated Assessment PlatformMacedo, Nuno / Cunha, Alcino / Pereira, José / Carvalho, Renato / Silva, Ricardo / Paiva, Ana C. R. / Ramalho, Miguel Sozinho / Silva, Daniel et al. | 2020
- 78
-
A Characterization of Distributed ASMs with Partial-Order RunsBörger, Egon / Schewe, Klaus-Dieter et al. | 2020
- 93
-
A Logic for Reflective ASMsSchewe, Klaus-Dieter / Ferrarotti, Flavio et al. | 2020
- 107
-
Analysing PRoB's Constraint Solving Backends: What Do They Know? Do They Know Things? Let’s Find Out!Dunkelau, Jannik / Schmidt, Joshua / Leuschel, Michael et al. | 2020
- 124
-
Programming the CLEARSY Safety Platform with BLecomte, Thierry et al. | 2020
- 139
-
Modelling Hybrid Programs with Event-BAfendi, Meryem / Laleau, Régine / Mammar, Amel et al. | 2020
- 155
-
Event-B-Supported Choreography-Defined Communicating Systems: Correctness and CompletenessBenyagoub, Sarah / Ait-Ameur, Yamine / Schewe, Klaus-Dieter et al. | 2020
- 169
-
Formally Verified Architecture Patterns of Hybrid Systems Using Proof and Refinement with Event-BDupont, Guillaume / Ait-Ameur, Yamine / Pantel, Marc / Singh, Neeraj K. et al. | 2020
- 186
-
Integration of iUML-B and UPPAAL Timed Automata for Development of Real-Time Systems with Concurrent ProcessesShokri-Manninen, Fatima / Tsiopoulos, Leonidas / Vain, Jüri / Waldén, Marina et al. | 2020
- 203
-
Formal Distributed Protocol Development for Reservation of Railway SectionsStankaitis, Paulius / Iliasov, Alexei / Kobayashi, Tsutomu / Ait-Ameur, Yamine / Ishikawa, Fuyuki / Romanovsky, Alexander et al. | 2020
- 223
-
Verifying SGAC Access Control Policies: A Comparison of PRoB, ALLOY and Z3Oliveira, Diego de Azevedo / Frappier, Marc et al. | 2020
- 230
-
Account and Transaction Protocol of the Open Banking StandardAlmehrej, Abdulaziz / Freitas, Leo / Modesti, Paolo et al. | 2020
- 237
-
Structuring the State and Behavior of ASMs: Introducing a Trait-Based Construct for Abstract State Machine LanguagesPaulweber, Philipp / Pescosta, Emmanuel / Zdun, Uwe et al. | 2020
- 244
-
Exploring the Concept of Abstract State Machines for System Runtime EnforcementRiccobene, Elvinia / Scandurra, Patrizia et al. | 2020
- 248
-
ProB and Jupyter for Logic, Set Theory, Theoretical Computer Science and Formal MethodsGeleßus, David / Leuschel, Michael et al. | 2020
- 255
-
Existence Proof Obligations for Constraints, Properties and Invariants in Atelier BBarradas, Héctor Ruíz / Burdy, Lilian / Déharbe, David et al. | 2020
- 260
-
VisB: A Lightweight Tool to Visualize Formal Models with SVG GraphicsWerth, Michelle / Leuschel, Michael et al. | 2020
- 266
-
Towards a Shared Specification RepositoryKörner, Philipp / Leuschel, Michael / Dunkelau, Jannik et al. | 2020
- 272
-
Refinement and Verification of Responsive Control SystemsMorris, Karla / Snook, Colin / Hoang, Thai Son / Hulette, Geoffrey / Armstrong, Robert / Butler, Michael et al. | 2020
- 281
-
Adaptive Exterior Light and Speed Control SystemHoudek, Frank / Raschke, Alexander et al. | 2020
- 302
-
Modelling an Automotive Software-Intensive System with Adaptive Features Using ASMETAArcaini, Paolo / Bonfanti, Silvia / Gargantini, Angelo / Riccobene, Elvinia / Scandurra, Patrizia et al. | 2020
- 318
-
Validating Multiple Variants of an Automotive Light System with ElectrumCunha, Alcino / Macedo, Nuno / Liu, Chong et al. | 2020
- 335
-
Modelling and Validating an Automotive System in Classical B and Event-BLeuschel, Michael / Mutz, Mareike / Werth, Michelle et al. | 2020
- 351
-
An Event-B Model of an Automotive Adaptive Exterior Light SystemMammar, Amel / Frappier, Marc / Laleau, Regine et al. | 2020
- 367
-
Modeling of a Speed Control System Using Event-BMammar, Amel / Frappier, Marc et al. | 2020
- 382
-
A Verified Low-Level Implementation of the Adaptive Exterior Light and Speed Control SystemKrings, Sebastian / Körner, Philipp / Dunkelau, Jannik / Rutenkolk, Chris et al. | 2020
- 401
-
A Correct by Construction Approach for the Modeling and the Verification of Cyber-Physical Systems in Event-BAfendi, Meryem et al. | 2020
- 405
-
Improving Trustworthiness of Self-driving SystemsAlotaibi, Fahad et al. | 2020
- 409
-
A Formal Approach for the Modeling of High-Level Architectures Aligned with System RequirementsBougacha, Racem et al. | 2020
- 414
-
Automatic Generation of DistAlgo Programs from Event-B ModelsGrall, Alexis et al. | 2020
- 418
-
Event-B: From Systems to Sub-systems ModelingKraibi, Kenza et al. | 2020
- 423
-
A Framework for Critical Interactive System Formal Modelling and AnalysisMendil, Ismail et al. | 2020