
FMOODS & FORTE 2012
IFIP International Conference on Formal Techniques for Distributed Systems joint international...
ISARCS 2010
1st International Symposium on Architecting Critical Systems Federated with CompArch 2010, Prague, Czech Republic, June 23-25 2010
This initiative aims to establish a new symposium in the area of architectural design for dependable, safe and secure systems, which would be an exclusive forum for exchanging views on the theory and practice for architecting critical systems. A critical system is characterized by the perceived severity of consequences that system failures may cause. In that respect, in addition to appropriate development methods, techniques and tools, a critical system also requires the provision of assurances that it is able to fulfil its specified service.
This new symposium would bring together four different communities that have their own respective dissemination forums, and which are working on software architectures’ notations, methods, techniques and processes from different perspectives, namely dependability, safety, security and testing.
Important Dates:
Submission: 10 February 2010
Notification: 17 March 2010
Publication Ready:14 April 2010
Symposium: June 2010


