Workshop 2
ERCIM/DECOS/MOGENTES Workshop on Dependable Embedded Systems
Chairs
Wolfgang Herzner, Erwin Schoitsch, AIT Austrian Institute of Technology
Amund Skavhaug, NTNU, Trondheim
Date: Tuesday, Sept. 14, 2010
Time: 9:00 – 17:30
Venue: Schönbrunn Palace Conference Centre, Vienna (same as SAFECOMP Conference)
Registration fee: free of charge, ( workshop can be attended independent from SAFECOMP Conference registration)
Coffee Break and Lunch included.
About the workshop
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 “embedded systems”, and the impact on society as a whole is tremendous – positive and negative.
Thus dependability in a holistic manner becomes an important issue. Technology is developing very fast, and demanding challenges have to be met by research, engineering and education. Smart (embedded) systems are regarded as the most important business driver for European industry. They are a targeted research area for European Research Programmes in Framework 7 and the ARTEMIS Joint Undertaking, and in several other dedicated Programmes. Artemis (“Technology Platform for Advanced Research and Technology for Embedded Intelligence”) and EPoSS (“European Technology Platform (ETP) on Smart Systems Integration”) are the main two ETPs promoting smart embedded systems technology as their objective. Their application is not only in the traditional areas of aerospace, railways, automotive, or process industry and manufacturing, but also in services of all kind, in home appliances (smart environments, smart homes, ambient assisted living) and health care. Co-operative, distributed networked systems and resilient systems (adaptive systems maintaining dependability even in changing environments) add another dimension of functionality and complexity requiring a holistic view of system engineering.
Morning session
For the morning session there is a Call for Papers, and proposals for papers (short papers or one-page abstracts) can be sent to the chairpersons directly.
TOPICS for Papers
- Hardware/Software Do-Design, System-on-Chip Integration
- Optimized Algorithms for Embedded Systems (power management, embedded vision, networks on chip, communication)
- Industrial Applications and Experience (Automotive, Aerospace, Railways, Manufacturing, Smart Homes, eHealthcare)
- Embedded Intelligence, Ambient Assisted Living Applications
- Adaptive, resilient systems
- Co-operative systems (road safety, co-operative autonomous systems, sensor networks)
- Architectures, Methods, Tools and efficient Processes and Procedures for Design and Development of critical systems (hardware, software)
- Verification and validation of hardware and software, components and systems
- Interconnected, networked embedded systems, safety and security interdependencies
- Functional Safety Standards and Assessment, Evaluation and Certification/Qualification
- Use/integration of COTS hardware and/or software as well as of legacy systems
- Education and Training in the area of Dependable Smart Systems
- Societal Aspects and Impact
In particular, we encourage submissions demonstrating the potential of new approaches by providing case studies, experiments as well as experience and/or quantitative data, from academic, research and industry as well. A part of the session will be reserved to tell and talk about education/training with respect to efficiently meet the demand of holistic embedded systems engineers in the future. Papers will be peer reviewed by the IPC (International Program Committee).
Based on that experience of more than 25 years as manager, consultant, advisor and lecturer he has written a large number of reviewed publications on information storage and retrieval systems, software engineering environments, software quality and productivity, process engineering and on team ware resp. groupware (about 130 papers and 3 books). At present he works on Software Systems, Quality Engineering and Risk Assessments in Cooperative Systems, Embedded Systems Design, Intelligent Content and Semantics, Personal Health Systems, Risk Assessment and Patient Safety, Computer and Data Treatment as well as Service and Software Architectures, Infrastructures and Engineering. He is Principal Technical Consultant for the German Government and the European Commission.
Afternoon session
- MOGENTES Overview
- Modelling and Mutation Testing (UML)
- Automated Test Case Generation
- Tool Integration
- Model based Fault Injection Tool (MIFI, MODIFI)
- Model Checking
The papers and presentation material (slides) will be published as ERCIM proceedings after the workshop.
Important dates
- Submission of papers (extended abstracts, short papers): Sept. 3, 2010
- Notification of acceptance: Sept. 7, 2010
- Workshop: September 14, 2010
- Full papers for Proceedings: Oct 29, 2010
Contacts
Amund Skavhaug
The Norwegian University of Science and Technology
Department of Engineering Cybernetics
Skavhaug.amund (at) itk.ntnu.no
Wolfgang Herzner, Erwin Schoitsch
AIT Austrian Institute of Technology
Donau-City-Straße 1
TechGate
A-1220 Vienna
Austria
wolfgang.herzner (at) ait.ac.at
erwin.schoitsch (at) ait.ac.at