|
The SAFECOMP 2012 conference will be held in Magdeburg, September 25th to September 28th. In addition to the main conference’s technical program and the program will also include a set of workshops. All workshops will be held on Tuesday, September 25th. The goal of workshops is to explore emerging dependability-related research topics and to provide a forum for authors to present early research results on these topics.
|
Workshop on Architecting Safety in Collaborative Mobile Systems
Chairs:
António Casimiro - University of Lisbon, Portugal
Jörg Kaiser - Otto-von-Guericke-University of Magdeburg, Germany
Scope:
The continuous emergence and improvement of sensor and communication technologies creates new opportunities for designing embedded and mobile systems that are able to interact with their environment, and exhibit “smart” and autonomous behaviour. Furthermore, collaboration between mobile entities can also be envisaged for improving their functionality. However, a fundamental challenge is to ensure that safety requirements are satisfied despite the increased system complexity and the uncertainties introduced by the operation in open and not well defined environments. In particular, it is necessary to deal with temporal uncertainties that may affect the environment perception as well as the coordination of mobile entities. In general, the problem might be equated in terms of achieving functional safety.
|
|
Read more...
|
|
Workshop on Dependable and Secure Computing for Large-scale Complex Critical Infrastructures
Chairs:
Christian Esposito, Institute of High Performance Computing and Networking (ICAR), Italy
Marco Platania - Sapienza University of Rome, Italy
Francesco Brancati - Resiltech, Italy
Scope:
This workshop aims at providing a forum for researchers and engineers in academia and industry to foster an exchange of research results, experiences, and products in the area of dependable and secure computing in large-scale critical systems both from a theoretical and practical perspective. Its ultimate goal is to envision new trends and ideas about aspects of designing, implementing, and evaluating dependable and secure solutions for the next generation critical networked infrastructures. In particular, the workshop aims at presenting the advancement of the state of art in the fields of distributed systems, hardware and software diagnosis, and software engineering, crucial for improving trustworthiness on ICT facilities, and spreading their adoption in very critical scenarios involving main infrastructures for modern society.
|
|
Read more...
|
ERCIM/EWICS/Cyberphysical Systems Workshop
Chairs:
Erwin Schoitsch - AIT Austrian Institute of Technology
Amund Skavhaug - NTNU, Trondheim
Description:
Computers are everywhere – may they be visible or integrated into every day equipment, devices, and environment, outside and inside us, mobile or fixed, smart, interconnected and communicating. Comfort, health, services, safety and security of people depend more and more on these “cyber-physical systems”. They combine software, sensors and physics, acting independently, co-operative or as “systems-of-systems” composed of interconnected autonomous systems originally independently developed to fulfil dedicated tasks. The impact on society as a whole is tremendous – positive and negative.
|
|
Read more...
|
3rd International Workshop on Digital Engineering
Chairs:
Dr. V. Köppen - Otto‐von‐Guericke‐University Magdeburg, Germany
Prof. Dr. G. Saake - Otto‐von‐Guericke‐University Magdeburg, Germany
Scope:
In 2010 we started the Workshop series on Digital Engineering. Software‐intensive systems are becoming more and more important in an increasing number of traditional engineering domains. Digital Engineering is an emerging trend which meets the challenge to bring together traditional engineering and modern approaches in Software‐ and Systems Engineering.
Engineers in the traditional domains will be confronted with both the usage of software systems in a growing amount and also with the development of software‐intensive systems. Therefore, Software‐ and Systems‐Engineering play a growing role in many engineering domains. While we addressed in the last these topics in a broader sense, in 2012 we want to focus on the non‐functional properties of safety and security and their early inclusion in the development process.
|
|
Read more...
|
Next Generation of System Assurance Approaches for Safety-Critical Systems
Chairs:
Mehrdad Sabetzadeh -Simula Research Laboratory, Norway
Tim Kelly - University of York, UK
Didier Van Den Abeele - Alstom Transport, France
Alejandra Ruiz - Tecnalia, Spain
Scope:
Safety assurance and certification are amongst the most expensive and time-consuming tasks in the development of safety-critical systems. The increasing complexity and size of these systems combined with their growing market demand requires the industry to implement a coherent reuse strategy. A key difficulty appears when trying to reuse products from one application domain in another, because different domains are subject to different safety regulations. Subsequently, for a reused product, the full safety assurance and certification process has to be applied, just as for a new product. This reduces the return on investment of such reuse. Further, market trends strongly suggest that many future safety-critical systems will be comprised of heterogeneous, dynamic coalitions of systems of systems. For this type of systems, it is crucial to develop sound strategies that would allow safety assurance and certification to be done compositionally.
|
|
Read more...
|
|
|
|