A Formal Behavioral Semantics for TestML (Englisch)

Wie erhalte ich diesen Titel?

Download
Kommerziell Vergütung an den Verlag: 28,50 € Grundgebühr: 4,00 € Gesamtpreis: 32,50 €
Akademisch Vergütung an den Verlag: 28,50 € Grundgebühr: 2,00 € Gesamtpreis: 30,50 €

TestML is an XML-based language for the exchange of test descriptions in automotive systems design and mainly introduced through the structural definition of an XML schema as an independent exchange format for existing tools and methods covering a wide range of different test technologies. In this paper, we present a rigorous formal behavioral semantics for TestML by means of Abstract State Machines (ASMs). Our semantics is a concise, unambiguous, high-level specification for TestML-based implementations and serves as a basis to define exact and well-defined mappings between existing test languages and TestML.

Inhaltsverzeichnis Konferenzband

Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.

1
Triumphs and Challenges for Model-Oriented Formal Methods: The VDM++ Experience (Abstract)
Fitzgerald, John S. / Larsen, Peter Gorm | 2006
5
Formal Security Analysis in Industry, at the Example of Electronic Distribution of Aircraft Software (EDS)
Oheimb, David van | 2006
6
Certificates of Resource Usage on Mobile Telephones
Jensen, Thomas | 2006
8
Program Safety via Programmer Safety
Kiniry, Joseph | 2006
9
The AUTOSAR Timing Model – Status and Challenges –
Richter, Kai | 2006
11
Analysis Techniques for Service Models
Reisig, Wolfgang / Fahland, Dirk / Lohmann, Niels / Massuthe, Peter / Stahl, Christian / Weinberg, Daniela / Wolf, Karsten / Kaschner, Kathrin | 2006
18
Software Assurance Research Infusion: The NASA Experience
Hinchey, Michael G. / Pressburger, Thomas / Feather, Martin S. / Markosian, Lawrence / Deadrick, Wes | 2006
28
Verifying LTL Properties on Hierarchical Systems: Application to Aircraft Autopilot
Achhab, Mohammed Al / Hammad, Ahmed / Mountassir, Hassan | 2006
36
Formal Modelling of Avionics Systems. An Approach Based on Category Theory and the EXPRESS Modelling Language
Ait-Ameur, Yamine / Cortier, Alexandre / Delmas, Rmi / Wiels, Virginie | 2006
45
Reasoning about Airport Security Regulations Using the Focal Environment
Delahaye, David / Étienne, Jean-Frédéric / Donzeau-Gouge, Véronique Viguié | 2006
53
Concurrent Testing of Java Components Using Java PathFinder
Mutilin, Vadim | 2006
60
The UniTESK Approach to Specification-Based Validation of Hardware Designs
Kamkin, Alexander | 2006
67
Combining Logic and Algebraic Techniques for Program Verification in Theorema
Kovács, Laura / Popov, Nikolaj / Jebelean, Tudor | 2006
75
Automatic Test Generation for Model-Based Code Generators
Zelenov, Sergey V. / Silakov, Denis V. / Petrenko, Alexander K. / Conrad, Mirko / Fey, Ines | 2006
82
Retrenching the Purse: Hashing Injective CLEAR Codes, and Security Properties
Banach, Richard / Poppleton, Michael / Jeske, Czeslaw / Stepney, Susan | 2006
91
Formal Modelling of Dynamic Coalitions, with an Application in Chemical Engineering
Bryans, Jeremy W. / Fitzgerald, John S. / Jones, Cliff B. / Mozolevsky, Igor | 2006
99
CARVER: A Slicing Tool for Communicating Automata Specifications
Labbé, Sébastien / Lapitre, Arnault | 2006
103
Model-Based Development of Fault-Tolerant Embedded Software
Buckl, Christian / Knoll, Alois / Schrott, Gerhard | 2006
111
A Formal Specification of a Programming Language: Design of Pit
Pedersen, Leif / Reza, Hassan | 2006
119
Intransitive Noninterference in Dependence Graphs
Hammer, Christian / Krinke, Jens / Nodes, Frank | 2006
129
Formally Proved Anti-tearing Properties of Embedded C Code
Andronick, June | 2006
137
Kiasan: A Verification and Test-Case Generation Framework for Java Based on Symbolic Execution
Deng, Xianghua / Robby, / Hatcliff, John | 2006
138
Extending Source Code Generators for Evidence-Based Software Certification
Denney, Ewen / Fischer, Bernd | 2006
146
Application of Bioinformatics in the Design of Gene Expression Microarrays
Khalid, Sabah / Khan, Mohsin / Wang, Ping / Liu, Xiaohui / Li, Su-Ling | 2006
161
A Novel Method for Obtaining Real Time Control Strategy Using GA for Dynamical Systems Subjected to External Arbitrary Excitations
Saud, M. / Esat, I. I. | 2006
169
Real-Coded Quantum Inspired Evolution Algorithm Applied to Engineering Optimization Problems
Alfares, F. S. / Esat, I. I. | 2006
177
Safety and Dependability Analysis of Self-Adaptive Systems
Güdemann, Matthias / Ortmeier, Frank / Reif, Wolfgang | 2006
185
Organic Computing – Addressing Complexity by Controlled Self-Organization
Branke, Jürgen / Mnif, Moez / Müller-Schloer, Christian / Prothmann, Holger / Richter, Urban / Rochner, Fabian / Schmeck, Hartmut | 2006
192
Real-Time Property Verification in Organic Computing Systems
Stein, Steffen / Hamann, Arne / Ernst, Rolf | 2006
198
Recognizing Traffic Jams with Hovering Data Clouds
Fekete, Sándor P. / Schmidt, Christiane / Wegener, Axel / Fischer, Stefan | 2006
204
Cost-Efficient Worst-Case Execution Time Analysis in Industrial Practice
Staschulat, Jan / Braam, Jörn C. / Ernst, Rolf / Rambow, Thomas / Busch, Rainer Schlör Rainer | 2006
212
Static WCET Analysis of Real-Time Task-Oriented Code in Vehicle Control Systems
Sehlberg, Daniel / Ermedahl, Andreas / Gustafsson, Jan / Lisper, Björn / Wiegratz, Steffen | 2006
220
Towards an Integration of Low-Level Timing Analysis and Model-Based Code Generation
Ferdinand, Christian / Heckmann, Reinhold / Wolff, Hans-Jörg / Renz, Christian / Gupta, Manabendra / Parshin, Oleg | 2006
227
Challenges of Timing Verification Tools in the Automotive Domain
Montag, Pascal / Görzig, Steffen / Levi, Paul | 2006
233
The Worst Case Execution Time Tool Challenge 2006
Gustafsson, Jan | 2006
241
The Worst Case Execution Time Tool Challenge 2006: The External Test
Tan, Lili | 2006
249
Model Checking Techniques for the Performance Analysis of Delay Tolerant Networks with On-off Behavior
Garetto, Michele / Gribaudo, Marco | 2006
255
Model Checking Medium Access Control for Sensor Networks
Ballarini, Paolo / Miller, Alice | 2006
263
Formal Techniques for the Analysis of Wireless Networks
McIver, A. K. / Fehnker, A. | 2006
271
Modeling of Sensor Networks Using XRM
Demaille, Akim / Peyronnet, Sylvain / Sigoure, Benoît | 2006
277
“Towards a Trusted Compiler for a Query Language for Wireless Sensor Networks.”
Daniel, T. E. / Mount, S. N. I. / Newman, R. M. / Gaura, E. I. | 2006
283
A Space and Time Requirements Logic for Sensor Networks
Cardell-Oliver, Rachel / Reynolds, Mark / Kranz, Mark | 2006
290
Probabilistic Model Checking of Contention Resolution in the IEEE 802.15.4 Low-Rate Wireless Personal Area Network Protocol
Fruth, Matthias | 2006
298
Formal Executable Models of Cell Signaling Primitives
Talcott, Carolyn | 2006
303
Biological LC/MS Preprocessing and Analysis with jABC, jETI and xcms
Kubczak, Christian / Margaria, Tiziana / Fritsch, Arno / Steffen, Bernhard | 2006
309
Foundations for Web Services Orchestrations: Functional and QoS Aspects, Jointly
Rosario, Sidney / Benveniste, Albert / Haar, Stefan / Jard, Claude | 2006
317
Service Based Enabling Service Availability in the MaTRICS: A Model-Driven Approach
Bajohr, Markus / Margaria, Tiziana / Steffen, Bernhard | 2006
325
Web Services for the Integration of XML-Based Content into Learning Platforms: A Three-level Model
Kröger, Reinhold / Lucke, Ulrike / Schmid, Markus / Tavangarian, Djamshid | 2006
332
Semi-automated Workflow Synthesis
Fernandes, Abilio / Breitman, Karin K. / Vieira, Tatiana A. S. C. / Casanova, Marco A. / Furtado, Antonio L. | 2006
335
Context Awareness Systems Design and Reasoning
Dong, Jin Song / Feng, Yuzhang / Sun, Jing / Sun, Jun | 2006
341
REDLIB for the Formal Verification of Embedded Systems
Wang, Farn | 2006
347
Synthesis and Traceability of Scenario-Based Executable Models
Goel, Ankit / Roychoudhury, Abhik | 2006
355
Towards a Framework for Scalable Model Checking of Concurrent C Programs
Wang, Ji / Yi, Xiaodong / Yang, Xuejun | 2006
363
Patterns with Algebraic Properties in BPEL0
Pu, Geguang / Zhu, Huibiao / He, Jifeng / Qiu, Zongyan / Yang, Hongli / Zhao, Xiangpeng | 2006
371
Harnessing Theories for Tool Support
Liu, Zhiming / Mencl, Vladimir / Ravn, Anders P. / Yang, Lu | 2006
383
Connecting Algebraic and Logical Descriptions of Concurrent Systems
Zhan, Naijun | 2006
392
Improve Model Checking Efficiency Using Specific Knowledge about the System
Zhao, Jianhua / Lei, Bin / Li, Xuandong / Zheng, Guoliang | 2006
397
An SDL Implementation of the UMTS Radio Resource Control Protocol Oriented to Conformance Testing
Álvarez, José M. / Cámara, Pedro de la / Martínez, Jesús / Merino, Pedro / Pérez, Francisco C. / Morillo, Victoria | 2006
402
The FMICS-jETI Platform: Status and Perspectives
Margaria, Tiziana / Kubczak, Christian / Steffen, Bernhard / Naujokat, Stefan | 2006
408
Verification in the Large via Symbolic Approximation
Breuer, Peter T. / Pickin, Simon | 2006
416
Implementing Influence Analysis Using Parameterised Boolean Equation Systems
Gallardo, María del Mar / Joubert, Christophe / Merino, Pedro | 2006
425
Formal Verification of Consistency in Model-Driven Development of Distributed Communicating Systems and Communication Protocols
Ilic, Dubravka / Troubitsyna, Elena / Laibinis, Linas / Leppänen, Sari | 2006
433
Comparative Analysis of Tools for Automated Software Re-engineering Purposes
Wagner, Christian / Margaria, Tiziana / Pagendarm, Hans-Georg | 2006
441
A Formal Behavioral Semantics for TestML
Grossmann, Jürgen / Müller, Wolfgang | 2006
449
An Automated Approach for Writing Alloy Specifications Using Instances
Khurshid, Sarfraz / Malik, Muhammad Zubair / Uzuncaova, Engin | 2006
458
Noise Makers Need to Know Where to be Silent – Producing Schedules That Find Bugs
Ben-Asher, Yosi / Eytani, Yaniv / Farchi, Eitan / Ur, Shmuel | 2006
466
[mc]square: A Model Checker for Microcontroller Code
Schlich, Bastian / Kowalewski, Stefan | 2006
475
Author index
| 2006
478
Publisher's Information
| 2006
c1
[Cover art]
| 2006
i
[Title page i]
| 2006
iii
[Title page iii]
| 2006
iv
Copyright Page
| 2006
v
Table of Contents
| 2006
xi
Preface
| 2006
xii
Reviewers
| 2006