Formal Modeling and Analysis of Timed Systems

VICTOR A. BRABERMAN; LAURENT FRIBOURG

Springer-Verlag

Lugar: Berlin Heidelberg; Año: 2013 p. 273

978-3-642-40228-9

Preface This volume contains the papers presented at the 11th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2013), held during August 29–31, 2013, in Buenos Aires, Argentina. Timing aspects of systems from a variety of computer science domains have been treated independently by diferent communities. Researchers interested in semantics, verification, and performance analysis study models such as timed automata and timed Petri nets, the digital design community focuses on propagation and switching delays, while designers of embedded controllers have to take account of the time taken by controllers to compute their responses after sampling the environment. Timing-related questions in these separate disciplines do have their particularities. However, there is a growing awareness that there are basic problems that are common to all of them. In particular, all these subdisciplines treat systems whose behavior depends on combinations of logical and temporal constraints; namely, constraints on the temporal distances between occurrences of events. The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from diferent disciplines that share interests in modeling and analysis of timed systems. Typical topics include (but are not limited to): -Foundations and Semantics: theoretical foundations of timed systems and languages; comparison between dierent models (timed automata, timed Petri nets, hybrid automata, timed process algebra, max-plus algebra, probabilistic models) -Methods and Tools: techniques, algorithms, data structures, and software tools for analyzing timed systems and resolving temporal constraints (scheduling, worst-case execution time analysis, optimization, model-checking, testing, constraint solving, etc.) -Applications: adaptation and specialization of timing technology in application domains in which timing plays an important role (real-time software, hardware circuits, and problems of scheduling in manufacturing and telecommunications) This year FORMATS received 41 submissions. Most submissions were reviewed by four Program Committee members. The committee decided to accept 18 papers for publication and presentation at the conference. The program also included an invited talk (together with CONCUR 2013): Reinhard Wilhelm, Saarland University, Germany: “Performance Analysis: Multicores, multi problems!” This time, FORMATS was co-located together with the International Conference on Concurrency Theory (CONCUR), the International Conference on Quantitative Evaluation of SysTems (QEST), and the International Symposium on Trustworthy Global Computing (TGC). We would like to thank the general organizers, in particular Pedro R. D’Argenio and Hernan Melgratti for their helpful cooperation. We would like to thank all the authors for submitting their work to FORMATS. We wish to thank the invited speaker for accepting our invitation.We are particularly grateful to the Program Committee members and the other reviewers for their insightful and timely reviews of the submissions and the subsequent discussions, which were instrumental to getting such an attractive program. Throughout the entire process of organizing the conference and preparing this volume, we used the EasyChair conference management system, which provided excellent support. Finally, we gratefully acknowledge the financial support provided by the Argentinian National Council of Research (CONICET), and the Mobility between Europe and Argentina applying Logics to Systems (MEALS), a mobility project financed by the 7th Framework programme under Marie Curie International Research Staff Exchange Scheme. June 2013 Victor Braberman Laurent Fribourg