Umfang:
1 online resource (344 pages)
Ausgabe:
1st ed.
ISBN:
9783031308260
Serie:
Lecture Notes in Computer Science Series v.13991
Inhalt:
Intro -- ETAPS Foreword -- Preface -- Organization -- Brains on Code: Towards a Neuroscientific Foundation of Program Comprehension (Abstract of an Invited Talk) -- Contents -- Regular Contributions -- ACoRe: Automated Goal-Conflict Resolution -- 1 Introduction -- 2 Linear-Time Temporal Logic -- 2.1 Language Formalism -- 2.2 Model Counting -- 3 The Goal-Conict Resolution Problem -- 4 ACoRe: Automated Goal-Conict Resolution -- 4.1 Search Space and Initial Population -- 4.2 Multi-Objectives: Consistency, Resolution and Similarities -- 4.3 Evolutionary Operators -- 4.4 Multi-Objective Optimisation Search Algorithms -- 5 Experimental Evaluation -- 5.1 Experimental Procedure -- 6 Experimental Results -- 6.1 RQ1: E ectiveness of ACoRe -- 6.2 RQ2: Comparison with the Ground-truth -- 6.3 RQ3: Comparing the Multi-objective Optimization Algorithms -- 7 Related Work -- 8 Conclusion -- References -- A Modeling Concept for Formal Verification of OS-Based Compositional Software -- Availability of Artifacts -- 1 Introduction -- 2 Background -- 2.1 Real-Time Operating System (RTOS) -- 2.2 Uppaal -- 3 Model Design -- 3.1 Naming Convention -- 3.2 The Kernel Interface -- 3.3 The Operating System -- 3.4 Simple Application Modeling -- 4 Requirements and Verification -- 4.1 Composition Requirements -- 4.2 OS Requirements -- 4.3 Verifying the Requirements -- 4.4 OS Model Verification -- 5 Analysis and Evaluation -- 5.1 Compositional Approach to Deriving the Minimal Configuration -- 5.2 Scalability: Resource Consumption for Verification -- 5.3 Sufficiency of 4-1-2-2 Configuration for our OS Model -- 6 Related Work -- 7 Conclusions and Future Work -- References -- Compositional Automata Learning of Synchronous Systems -- 1 Introduction -- 2 Preliminaries -- 2.1 L∗ algorithm -- 3 Learning Synchronous Components Compositionally -- 3.1 Query Adapter -- 3.2 L∗ extensions.
Anmerkung:
Description based on publisher supplied metadata and other sources
Weitere Ausg.:
ISBN 9783031308253
Weitere Ausg.:
Erscheint auch als Druck-Ausgabe ISBN 9783031308253
Sprache:
Englisch
Mehr zum Autor:
Lambers, Leen
