 |
The First International Workshop on Safety in Industrial Systems SAFESYS 2007 April 22 - 28, 2007 - Sainte-Luce, Martinique |
This workshop is part of ICONS 2007.
|
| Submit a Paper: |
Submit a paper using the same page as the ICONS 2007 conference.
| Touristic Information: |
Touristic information is available from the hosting conference, ICONS 2007.
| Hotels and Travel: |
Hotels and travel information is available from the hosting conference page, ICONS 2007.
| Call for Papers: |
Validation and verification of safety requirements for complex systems containing hardware, software and human subsystems must be considered from early design phases. There is a need for rigorous analysis on the role of people and process causing hazards within safety-related systems; however, these claims are often made without a rigorous analysis of the human factors involved. Accurate identification and implementation of safety requirements for all elements of a system, including people and procedures become crucial in complex and critical systems, especially in safety-related projects from the civil aviation, defense health, and transport sectors.
Fundamentals on safety-related systems concern both positive (desired properties) and negative (undesired properties) aspects. Safety requirements are expressed at the individual equipment level and at the operational-environment level. However, ambiguity in safety requirements may lead to reliable unsafe systems. Additionally, the distribution of safety requirements between people and machines makes difficult automated proofs of system safety. This is somehow obscured by the difficulty of applying formal techniques (usually used for equipment-related safety requirements) to derivation and satisfaction of human-related safety requirements (usually, human factors techniques are used).
The International Workshop on Safety in Industrial Systems, SAFESYS 2007, brings together practitioners and researchers for discussion and work on the emerging aspects pertaining to fundamentals of safety systems, safety requirements, and techniques for designing and deployment safe and robust systems considering human and equipment techniques.
TOPICS OF SPECIAL INTEREST (but not limited to):
- Fundamentals on system safety
- Safety of software systems and software engineering
- Safety requirements
- Safety for critical systems
- Engineering for system robustness and reliability
- Control of mission critical systems
- Safety-oriented system design
- Human tasks and error models
- Hazard analysis
- Cost and effectiveness of system safety
- Verification and validation of safety
- Safety tools
- Evaluation of safety data, and mitigation and prevention strategies
- Safety control and management
- System Safety Implementation Guidelines and Standards
- Transferring safety knowledge
- Metrics for Risk Assessment
- Contingency Planning and Occurrence Reporting
- Preparedness Activities
- Industry specific safety systems
- Medical devices
- Aerospace
- Chemical industry
- Nuclear power plants
- Public health
- Biological Safety
INSTRUCTIONS FOR THE AUTHORS
The SAFESYS 2007 Proceedings will be published by IEEE Computer Society Conference Publishing Services, posted on IEEE Xplore Digital Library, and indexed with major indexes.
Important deadlines:
| Full paper submission | November 20, 2006 |
| Authors notification | December 20, 2006 |
| Registration and camera ready | January 15, 2007 |
Regular papers
Only .pdf or .doc files will be accepted for paper submission. All received papers will be acknowledged via the EDAS system.
Final author manuscripts will be 8.5" x 11" (two columns IEEE format), not exceeding 6 pages; max 4 extra pages allowed at additional cost. The formatting instructions can be found on the Instructions page.
Once you receive the notification of paper acceptance, you will be provided by the IEEE CS Press an online author kit with all the steps an author needs to follow to submit the final version. The author kits URL will be included in the letter of acceptance.
Technical marketing/business/positioning presentations
The conference initiates a series of business, technical marketing, and positioning presentations on the same topics. Speakers must submit a 10-12 slide deck presentations with substantial notes accompanying the slides, in the .ppt format (.pdf-ed). The slide deck will be published in the conference’s CD collection, together with the regular papers. Please send your presentations to [email protected] and [email protected].
Tutorials
Tutorials provide overviews of current high interest topics. Proposals can be for half or full day tutorials. Please send your proposals to [email protected].
Panel proposals
The organizers encourage scientists and industry leaders to organize dedicated panels dealing with controversial and challenging topics and paradigms. Panel moderators are asked to identify their guests and manage that their appropriate talk supports timely reach our deadlines. Moderators must specifically submit an official proposal, indicating their background, panelist names, their affiliation, the topic of the panel, as well as short biographies. Please send your proposals to [email protected].
| Committees: |
Co-Chairs:
Josef Borcsok, University of Kassel, Germany
Michael H. Schwarz, University of Kassel, Germany
TPC Members:
Lubomir Bakule, Academy of Sciences of the Czech Republic, Czech Republic
Josef Boercsoek, University of Kassel, Germany
Christian Buckl, TUB, Germany
Alberto Cardoso, Coimbra University, Portugal
Chris Cox, Control Systems Centre, University of Sunderland, UK
Petre Dini, Cisco Systems, Inc., USA // Concordia University, Canada
Antonipo Dourado, Coimbra University, Portugal
Andreas Graesser, University of Applied Science Darmstadt, Germany
Michel Houtermans, Risknowlogy, The Netherlands
Brdys Mietek, The University of Birmingham, UK
Juha Röning, University of Oulu, Finland
Michael H. Schwarz, University of Kassel, Germany
Tianhao Tang, Shanghai Maritime University, China
Gui Yun Tian, University of Huddersfield, U.K.
Clarke Tim, University of York, UK
Sangchul Won, Pohang University of Science and Technology, Korea
| Tutorials: |
Tutorials are available from the hosting conference page, ICONS 2007.
| Preliminary Program: |
Preliminary program is available from the hosting conference page, ICONS 2007.
| Manuscript Preparation: |
Manuscript preparation is available from the hosting conference page, ICONS 2007.
| Registration Form: |
Registration form is available from the hosting conference page, ICONS 2007.
| Statistics: |
Statistics are available from the hosting conference page, ICONS 2007.
| Photos: |
Photos are available from the hosting conference page, ICONS 2007.
| Awards: |
Awards are available from the hosting conference page, ICONS 2007.
