This volume contains the papers presented at FMICS 2009, the 14th Inter- tional Workshop on Formal Methods for Industrial Critical Systems, whichwas held on November 2-3, 2009, in Eindhoven, The Netherlands. Previous wo- shops of the ERCIM working group on Formal Methods for Industrial Critical Systems were held in Oxford (March 1996), Cesena (July 1997), Amsterdam (May 1998), Trento (July 1999), Berlin (April 2000), Paris (July 2001), Malaga (July2002), Trondheim(June2003), Linz(September 2004), Lisbon(September 2005), Bonn (August 2006), Berlin (July 2007), and L'Aquila (September 2008). The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, these workshops bring together scientists and engineers who are active in the area of formal methods and are interested in exchanging their experiences in the industrial usage of these methods. These workshops also strive to promote research and development for the improvement of formal methods and tools for industrial applications. The FMICS 2009 workshop was part of FMweek, the ?rst Formal Methods Week, whicho?eredachoiceofeventsinthearea, includingTESTCOM/FATES, Conferenceon TestingofCommunicatingSystemsandWorkshop on Formal- proaches to Testing of Software;FACS, Formal Aspects of Component Software; PDMC, Parallel and Distributed Methods of veri?Cation; FM2009, Symposium of Formal Methods Europe;CPA, Communicating Process Architectures;FAST, Formal Aspects of Security and Trust;FMCO, Formal Methods for Components and Objects; and the REFINE Workshop. All the information on FMweek can be found at http: //www.win.tue.nl/f

This book constitutes the proceedings of the International Conference on Personal Satellite Services (PSATS 2009) in Rome, Italy in March 2009.

The 17 papers papers demonstrate recent advances in Internet applications over satellites, satellites technologies, and future satellite location-based systems.

This book constitutes the refereed proceedings of the 23nd International Symposium on Distributed Computing, DISC 2009, held in Elche, Spain, in September 2009.

The 33 revised full papers, selected from 121 submissions, are presented together with 15 brief announcements of ongoing works; all of them were carefully reviewed and selected for inclusion in the book. The papers address all aspects of distributed computing, and were organized in topical sections on Michel Raynal and Shmuel Zaks 60th birthday symposium, award nominees, transactional memory, shared memory, distributed and local graph algorithms, modeling issues, game theory, failure detectors, from theory to practice, graph algorithms and routing, consensus and byzantine agreement and radio networks.

The Workshop on Self-sustaining Systems (S3) is a forum for the discussion of topics relating to computer systems and languages that are able to bootstrap, implement, modify, and maintain themselves. One property of these systems is that their implementation is based onsmall but powerfulabstractions;examples include (amongst others) Squeak/Smalltalk, COLA, Klein/Self, PyPy/Python, Rubinius/Ruby, andLisp.Suchsystemsaretheenginesoftheirownreplacement, giving researchers and developers great power to experiment with, and explore future directions from within, their own small language kernels. S3 took place on May 15-16, 2008 at the Hasso-Plattner-Institute (HPI) in Potsdam, Germany. It was an exciting opportunity for researchers and prac- tioners interested in self-sustaining systems to meet and share their knowledge, experience, and ideas for future research and development. S3 provided an - portunity for a community to gather and discuss the need for self-sustainability in software systems, and to share and explore thoughts on why such systems are needed and how they can be created and deployed. Analogies were made, for example, with evolutionary cycles, and with urban design and the subsequent inevitable socially-driven change. TheS3participantsleftwithagreatersenseofcommunityandanenthusiasm for probing more deeply into this subject. We see the need for self-sustaining systems becoming critical not only to the developer's community, but to e- users in business, academia, learning and play, and so we hope that this S3 workshop will become the ?rst of many.

Embedded and ubiquitous computing systems have considerably increased their scope of application over the past few years, and they now also include missi- and business-critical scenarios. The advances call for a variety of compelling - sues, including dependability, real-time, quality-of-service, autonomy, resource constraints, seamless interaction, middleware support, modeling, veri?cation, validation, etc. The International Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS) brings together experts in the ?eld of emb- ded and ubiquitous computing systems with the aim of exchanging ideas and advancing the state of the art about the above-mentioned issues. I was honored to chair the sixth edition of the workshop, which continued the tradition of past editions with high-quality research results. I was particularly pleased to host the workshop in the wonderful scenario of Capri, with its stunning views and traditions. The workshop started in 2003 as an IEEE event, and then in 2007 it became a ?agship event of the IFIP Working Group 10.2 on embedded systems. The last few editions, held in Hakodate (Japan), Vienna (Austria), Seattle (USA), Gyeongju (Korea), and Santorini (Greece), were co-located with the IEEE - ternationalSymposiumonObject/Component/Service-OrientedReal-TimeD- tributed Computing (ISORC). This year, SEUS was held as a stand-alone event for the ?rst time, and, - spite the additionalorganizationaldi?culties, it resultedina high-qualityevent, with papers from four continents (from USA, Europe, East Asia and Australia), (co-) authored and presented from senior scientists coming from academia or leading industrial research centers.

Software development for the automotive domain has become the enabling te- nologyforalmostallsafety-criticalandcomfortfunctionso?eredtothecustomer. Ninety percentofallinnovations inautomotive systems aredirectly or indirectly enabled by embedded software. The numbers of serious accidents have declined in recent years, despite constantly increasing tra?c; this is correlated with the introduction of advanced, software-enabled functionality for driver assistance, such as electronic stability control. Software contributes signi?cantly to the - tomotive value chain. By 2010 it is estimated that software will make up 40% of the value creation of automotive electrics/electronics. However, with the large number of software-enabled functions, their int- actions, and the corresponding networking and operating infrastructure, come signi?cant complexities both during the automotive systems engineering p- cess and at runtime. A central challenge for automotive systems development is the scattering of functionality across multiple subsystems, such as electronic control units (ECUs) and the associated networks. As an example, consider the central locking systems (CLS), whose functionality is spread out over up to 19 di?erent ECUs in some luxury cars. Of course, this includes advanced functi- ality, such as seat positioning and radio tuning according to driver presets upon entry, as well as unlocking in case of a detected impact or accident. However, thisexampledemonstratesthatmodernautomotivesystemsbridgecomfort-and safety-critical functionality. This induces particular demands on safety and - curity, and, in general, software and systems quality. The resulting challenges and opportunities were discussed, in depth, at the second Automotive Software Workshop San Diego (ASWSD) 2006, on whose results we report here.

Clustertechnologien.- High Performance Computing.- Public Resource Computing: vernetzte Welt zum Rechnen nutzen?.- Berkeley Open Infrastructure for Network Computing (BOINC).- Architektur des BOINC-Systems.- Technik.- Serveristallation.- Serveradministration.- Die Grundlagen der BOINC-Programmierung.- Die BOINC-Schaltzentrale modifizieren - Programmierung der BOINC Server Komponenten.- Debuggen - Fehlersuche in BOINC.- Praxis.- Kreiszahl@home: Monte-Carlo-Algorithmus fur die Kreiszahl.- Eine Filmsequenz mit Bildverarbeitungsfunktionen modifizieren.- ComsolGrid: COMSOL Multiphysics und BOINC.- [email protected] Verwendung von Legacy-Applikationen.- Die C/C++-Schnittstelle von BOINC.- BOINC-Fehlernummern und Fehlermeldungen.- BOINC-Konfigurationsdateien.- Literaturverzeichnis.- Sachverzeichnis.

"This book is a comprehensive text for the design of safety critical, hard real-time embedded systems. It offers a splendid example for the balanced, integrated treatment of systems and software engineering, helping readers tackle the hardest problems of advanced real-time system design, such as determinism, compositionality, timing and fault management. This book is an essential reading for advanced undergraduates and graduate students in a wide range of disciplines impacted by embedded computing and software. Its conceptual clarity, the style of explanations and the examples make the abstract concepts accessible for a wide audience." Janos Sztipanovits, Director E. Bronson Ingram Distinguished Professor of Engineering Institute for Software Integrated Systems Vanderbilt University Real-Time Systems focuses on hard real-time systems, which are computing systems that must meet their temporal specification in all anticipated load and fault scenarios. The book stresses the system aspects of distributed real-time applications, treating the issues of real-time, distribution and fault-tolerance from an integral point of view. A unique cross-fertilization of ideas and concepts between the academic and industrial worlds has led to the inclusion of many insightful examples from industry to explain the fundamental scientific concepts in a real-world setting. Compared to the Second Edition, new developments in communication standards for time-sensitive networks, such as TSN and Time-Triggered Ethernet are addressed. Furthermore, this edition includes a new chapter on real-time aspects in cloud and fog computing. The book is written as a standard textbook for a high-level undergraduate or graduate course on real-time embedded systems or cyber-physical systems. Its practical approach to solving real-time problems, along with numerous summary exercises, makes it an excellent choice for researchers and practitioners alike.

IMPROVE stands for "Information Technology Support for Collaborative and Distributed Design Processes in Chemical Engineering" and is a large joint project of research institutions at RWTH Aachen University. This volume summarizes the results after 9 years of cooperative research work.

The focus of IMRPOVE is on understanding, formalizing, evaluating, and, consequently, improving design processes in chemical engineering. In particular, IMPROVE focuses on conceptual design and basic engineering, where the fundamental decisions concerning the design or redesign of a chemical plant are undertaken. Design processes are analyzed and evaluated in collaboration with industrial partners.

This book constitutes the thoroughly refereed post-conference proceedings of the joint International Workshops on Semantic Web, Ontologies and Databases, SWDB-ODBIS 2007, co-located with the 33rd International Conference on Very Large Data Bases, VLDB 2007, held in Vienna, Austria, in September 2007.

The 7 revised full papers presented together with 1 invited paper were carefully selected from 11 submissions. Among the topics addressed are semantics-aware data models and query languages; ontology-based views, mapping, transformations, and query reformulation; and storing and indexing semantic Web data and schemas.

The advances in wireless communication technologies and the proliferation of mobile devices have enabled the realization of intelligent environments for people to com- nicate with each other, interact with information-processing devices, and receive a wide range of mobile wireless services through various types of networks and systems everywhere, anytime. This "Internet of Things" will dramatically modify our lives allowing progress in various domains such as health, security, and ITS (intelligent transportation systems). A key enabler of this pervasive and ubiquitous connectivity environment is the - vancement of software technology in various communication sectors, ranging from communication middleware and operating systems to networking protocols and app- cations. The international conference series on Mobile Wireless Middleware, Oper- ing Systems, and Applications (MOBILWARE) is dedicated to addressing emerging topics and challenges in various mobile wireless software-related areas. The scope of the conference includes the design, implementation, deployment, and evaluation of middleware, operating systems, and applications for computing and communications in mobile wireless systems. MOBILWARE 2009 was the second edition of this conference, which was made possible thanks to the sponsorship of ICST and Create-Net and most importantly the hard work of the TPC and reviewers.

This volume contains the proceedings of the 12th International Conference on Hybrid Systems Computation and Control (HSCC 2009) held in San Francisco, CaliforniaduringApril13-15,2009. Theannualconferenceonhybridsystems- cuses on researchin embedded, reactive systems involving the interplay between discrete switching and continuous dynamics. HSCC is a forum for academic and industrial researchers and practitioners to exchange information on the latest advancements, both practical and theoretical, in the design, analysis, control, optimization, and implementation of hybrid systems. HSCC 2009 was the 12th in a series of successful meetings. Previous versions wereheld in Berkeley(1998), Nijmegen (1999), Pittsburgh(2000), Rome (2001), PaloAlto (2002), Prague(2003), Philadelphia (2004), Zurich (2005), Santa B- bara (2006), Pisa (2007), and St. Louis (2008). HSCC 2009 was part of the 2nd Cyber-Physical Systems Week (CPSWeek), whichconsistedoftheco-locationofHSCCwiththeInternationalConferenceon Information Processing in Sensor Networks (IPSN) and the Real-Time and - bedded Technology and Applications Symposium (RTAS). Through CPSWeek, the three conferences had joint invited speakers, poster sessions, and joint - cial events. In addition to the workshops sponsored by CPSWeek, HSCC 2009 sponsored two workshops: - NSV II: Second International Workshop on Numerical Software Veri?cation - HSCB 2009: Hybrid Systems Approaches to Computational Biology We would like to thank the authors of submitted papers, the Program C- mittee members, the additional reviewers, the workshop organizers, and the HSCC Steering Committee members for their help in composing a strong p- gram. We also thank the CPSWeek Organizing Committee, in particular Rajesh Gupta, for their strenuous work in handling the local arrangemen

This volume contains contributions from participants in the 2007 International Multiconference of Engineers and Computer Scientists. Topics covered include Automated planning, Expert system, Machine learning, Fuzzy Systems, Knowledge-based systems, Computer systems organization, Computing methodologies, and industrial applications. The book offers the up to date information on advances in intelligent systems and computer engineering and also serve as an excellent reference work for researchers and graduate students working on intelligent systems and computer engineering.

The Halden Man-Machine Laboratory (HAMMLAB) has been at the heart of human factors research at the OECD Halden Reactor Project (HRP). The HRP is sponsored by a group of national organizations, representing nuclear power plant regulators, utilities, and research institutions. The HRP is hosted by the Institute for Energy Technology (IFE) in Halden, Norway. HAMMLAB comprises three full-scale nuclear power plant control room research simulators. The simulator studies performed in HAMMLAB have traditionally been experimental in nature. In a simulator it is possible to study events as they unfold in real time, in a highly realistic operational environment under partially controlled conditions. This means that a wide range of human factors issues, which would be impossible or highly impracticable to study in real-life settings, can thus be addressed in HAMMLAB. Simulator-based Human Factors Studies Across 25 Years celebrates the twenty-fifth anniversary of HAMMLAB by reviewing the human factors studies performed in HAMMLAB across this time-span. A range of human factors issues have been addressed, including: * human-system interfaces; * alarm systems; * computerized procedures; * human-automation interaction; * staffing, teamwork and human reliability. The aim of HAMMLAB studies has always been the same: to generate knowledge for solving current and future challenges in nuclear power plant operation to contribute to safety. The outcomes of HAMMLAB studies have been used to support design and assessment of nuclear power plant control rooms.

This volume contains the proceedings of the 10th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), held November 21-23, 2008 in Detroit, Michigan USA. SSS started as the Workshop on Self-Stabilizing Systems (WSS), which was ?rst held at Austin in 1989. From the second WSS in Las Vegas in 1995, the - rum was held biennially, at Santa Barbara(1997), Austin (1999), Lisbon (2001), San Francisco (2003) and Barcelona (2005). The title of the forum changed to the Symposium on Self-Stabilizing Systems (SSS) in 2003. Since 2005, SSS was run annually, and in 2006 (Dallas) the scope of the conference was extended to cover all safety and security-related aspects of self-* systems. This extension followed the demand for self-stabilization in various areas of distributed c- puting including peer-to-peer networks, wireless sensor networks, mobile ad-hoc networks, robotic networks. To re?ect this change, the name of the symposium changed to the International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS). This year we received 43 submissions from 13 countries. Most submissions were from the USA and France. Each submission was carefully reviewed by three to six Program Committee members with the help of external reviewers. For the ?rst time a rebuttal phase allowed the authors to react to the reviews beforethediscussionofthepaperswithintheProgramCommittee. Outofthe43 submissions,17excellentpaperswereselectedforpresentationatthesymposium, whichcorrespondsto anacceptancerateof40%. Itcanbenotedthatthehighest acceptance rate was for papers with keywordssensor networks (86%), MANETs (67%), andsecurityof sensorandmobile networksprotocols (67

This volume contains scientific papers and case studies presented at Interactive Sto- telling '08: The First Joint International Conference on Interactive Digital Storytelling (ICIDS), held November 26-29, 2008, in Erfurt, Germany. Interactive Digital Storytelling (IDS) is a cross-disciplinary topic, which explores new uses of interactive technologies for creating and experiencing narratives. IDS is also a huge step forward in games and learning. This can be seen through its ability to enrich virtual characters with intelligent behavior, to allow collaboration of humans and machines in the creative process, and to combine narrative knowledge and user activity in interactive artifacts. IDS involves concepts from many aspects of Computer Science, above all from Artificial Intelligence, with topics such as narrative intelligence, automatic dialogue and drama management, and smart graphics. In order to process stories in real time, traditional storytelling needs to be formalized into computable models by drawing from narratological studies. As it is currently hardly accessible for creators and e- users, there is a need for new authoring concepts and tools supporting the creation of such dynamic stories, allowing for rich and meaningful interaction with the content.

This book constitutes the refereed proceedings of the 4th International Symposium on Ubiquitous Computing Systems, UCS 2007, held in Tokyo, Japan, in November 2007.

The 16 revised full papers and 8 revised short papers presented were carefully reviewed and selected from 96 submissions. The papers are organized in topical sections on security and privacy, context awareness, sensing systems and sensor network, middleware, modeling and social aspects, smart devices, and network.

This volume serves as the post-conference proceedings for the Second GeoSensor Networks Conference that was held in Boston, Massachusetts in October 2006. The conference addressed issues related to the collection, management, processing, ana- sis, and delivery of real-time geospatial data using distributed geosensor networks. This represents an evolution of the traditional static and centralized geocomputational paradigm, to support the collection of both temporally and spatially high-resolution, up-to-date data over a broad geographic area, and to use sensor networks as actuators in geographic space. Sensors in these environments can be static or mobile, and can be used to passively collect information about the environment or, eventually, to actively influence it. The research challenges behind this novel paradigm extend the frontiers of tra- tional GIS research further into computer science, addressing issues like data stream processing, mobile computing, location-based services, temporal-spatial queries over geosensor networks, adaptable middleware, sensor data integration and mining, au- mated updating of geospatial databases, VR modeling, and computer vision. In order to address these topics, the GSN 2006 conference brought together leading experts in these fields, and provided a three-day forum to present papers and exchange ideas.

This book constitutes the refereed proceedings of the 4th International Workshop on Hybrid Metaheuristics, HM 2007, held in Dortmund, Germany, in October 2007.

The 14 revised full papers presented were carefully reviewed and selected from 37 submissions. The papers discuss specific aspects of hybridization of metaheuristics, hybrid metaheuristics design, development and testing. With increasing attention to methodological aspects, from both the empirical and theoretical sides, the papers show a representative sample of research in the field of hybrid metaheuristics. Some papers put special emphasis on the experimental analysis and statistical assessment of results, some are also an example of the integration of metaheuristics with mathematical programming, constraint satisfaction or machine learning techniques.

This book constitutes the refereed proceedings of the 7th International Conference on Case-Based Reasoning, ICCBR 2007, held in Belfast, Northern Ireland, UK in August 2007.

The 15 revised full research papers and 18 revised poster papers presented together with 3 invited talks were carefully reviewed and selected from 64 submissions. The papers address all current aspects of case-based reasoning and feature original theoretical research, applied research, and deployed applications with practical, social, environmental or economic significance.

These three volumes are a collection of the contributions presented to the joint th conferencesofKES2007,the11 InternationalConferenceonKnowledge-Based and Intelligent Information and Engineering Systems, and the WIRN 2007, the th 17 Italian Workshop on Neural Networks, held in Vietri sul Mare, Italy, in September 2007. TheformulabywhichKESconferencesgatherover500peopleeachyearfrom the four corners of the globe to discuss the topic of knowledge-based and int- ligent information and engineering systems is: an open mind with rigor. Within the vastuniverseofthe conferencescenteredaroundthekeywords"information" and "computational intelligence," we encourage in our meetings the o?ering of newideas andtechniques to givesolutions to the never-endingseriesof problems and challenges that our own intelligence poses. As a precious attribute of the human brain, we will never be disturbed by the novelty, and possibly the provocation, of new mental paradigms and h- ardous conjectures, especially if they are raised by fresh research teams. At the same time, we have riddled eachcontribution using the sieve of scienti?c quality, checking the rigor with which the ideas are illustrated, their understandability and the support of the theory or of the experimental evidence. The structure of the conference re?ects this philosophy. In addition to re- lartracksonthemain?eldsofthediscipline,weinvitedscientiststoproposes- sions focused on topics of high interest. Their response was generous and based onallsources,wereceivedsome1203submissions.Fromthisnumberwecollected 11 general track sessions and 47 invited sessions to make a total of 409 papers after a severe referee screening, an acceptance rate of 34%. Thus the reader may havefromthesevolumesanalmostexhaustiveoverviewofresearcher'sandprac- tioner'scurrentworkinthe?eldofinformationextractionandintelligentsystems.

This book constitutes the refereed proceedings of the 11th European Conference on Principles and Practice of Knowledge Discovery in Databases, PKDD 2007, held in Warsaw, Poland, in September 2007, co-located with ECML 2007, the 18th European Conference on Machine Learning.

The 28 revised full papers and 35 revised short papers presented together with abstracts of 4 invited talks were carefully reviewed and selected from 592 papers submitted to both, ECML and PKDD. The papers present original results on leading-edge subjects of knowledge discovery from conventional and complex data and address all current issues in the area.

This book constitutes the refereed proceedings of the 11th International Workshop on Cooperative Information Agents, CIA 2007, held in Delft, The Netherlands, September 19-21, 2007.

The 19 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 38 submissions. The papers are organized in topical sections on Information Search and Processing, Applications, Rational Cooperation, Interaction and Cooperation and Trust.

th The 13 edition of the International Conference on Reliable Software Technologies (Ada-Europe 2008) marked its arrival in Italy by selecting the splendid venue of Venice. It did so after having been hosted twice in Switzerland, Spain and the UK (Montreux for its inauguration in 1996 and Geneva in 2007; Santander in 1999 and Palma de Mallorca in 2004; London in 1997 and York in 2005), and having visited Sweden (Uppsala, 1998), Germany (Potsdam, 2000), Belgium (Leuven, 2001), Austria (Vienna, 2002), France (Toulouse, 2003) and Portugal (Porto, 2006). It was certainly high time that the conference came to Italy! The conference series, which is run and sponsored by Ada-Europe, chooses its yearly venue following two driving criteria: to celebrate the activity of one of its national member societies in a particular country, and/or to facilitate the formation, or the growth, of a national community around all aspects of reliable software technologies. The success of this year's conference, beside the richness of its technical and social program, will thus be measured by its lasting effects. We can only hope that the latter will be as good and vast as the former! Owing to the absence of a national society associated with Ada-Europe in Italy, the organization of the conference was technically sustained by selected members of the Board of Ada-Europe, its governing body, with some invaluable local support.

The three volume set LNAI 4692, LNAI 4693, and LNAI 4694, constitute the refereed proceedings of the 11th International Conference on Knowledge-Based Intelligent Information and Engineering Systems, KES 2007, held in Vietri sul Mare, Italy, September 12-14, 2007.

The 409 revised papers presented were carefully reviewed and selected from about 1203 submissions. The papers present a wealth of original research results from the field of intelligent information processing in the broadest sense; topics covered in the first volume are artificial neural networks and connectionists systems, fuzzy and neuro-fuzzy systems, evolutionary computation, machine learning and classical AI, agent systems, knowledge based and expert systems, hybrid intelligent systems, miscellaneous intelligent algorithms, intelligent vision and image processing, knowledge management and ontologies, Web intelligence, multimedia, e-learning and teaching, intelligent signal processing, control and robotics, other intelligent systems applications, papers of the experience management and engineering workshop, industrial applications of intelligent systems, as well as information engineering and applications in ubiquotous computing environments.