|
|||||||||||||||||||||||||
Submit a paper using the same page as the ICONS 2007 conference.
Touristic information is available from the hosting conference, ICONS 2007.
Hotels and travel information is available from the hosting conference page, ICONS 2007.
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):
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:
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 petre@iaria.org and info.rs@uni-kassel.de. Tutorials Tutorials provide overviews of current high interest topics. Proposals can be for half or full day tutorials. Please send your proposals to info.rs@uni-kassel.de. 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 info.rs@uni-kassel.de.
Co-Chairs: TPC Members: Lubomir Bakule, Academy of Sciences of the Czech Republic, Czech Republic
Tutorials are available from the hosting conference page, ICONS 2007.
Preliminary program is available from the hosting conference page, ICONS 2007.
Manuscript preparation is available from the hosting conference page, ICONS 2007.
Registration form is available from the hosting conference page, ICONS 2007.
Statistics are available from the hosting conference page, ICONS 2007.
Photos are available from the hosting conference page, ICONS 2007.
Awards are available from the hosting conference page, ICONS 2007. |
|||||||||||||||||||||||||
Copyright (c) 2006, IARIA