Systems that determine, based on the principles of science, engineering and measurement theory, whether an artifact satisfies accepted, well-defined and measurable criteria.
forum
Submitted by Anonymous on Tue, 01/20/2015 - 11:03am
event
Submitted by Anonymous on Mon, 01/19/2015 - 4:24pm
7th Workshop on Adaptive and Reconfigurable Embedded Systems (APRES 2015)
APRES 2015 is part of the CPSweek 2015, held in Seattle, April 13-17, 2015.
Overview
forum
Submitted by Anonymous on Mon, 01/19/2015 - 4:21pm
7th Workshop on AdaPtive and Reconfigurable Embedded Systems
http://apres2015.di.fc.ul.pt/
Seattle, USA, April 13, 2015
in conjunction with CPSweek 2015
http://www.cpsweek.org/
IMPORTANT DATES
Submission deadline: January 30, 2015
Author notification: March 6, 2015
Camera ready: March 13, 2015
Workshop: April 13, 2015
CALL FOR PAPERS
event
Submitted by Anonymous on Mon, 01/12/2015 - 12:21pm
The International Workshop on Engineering Safety and Security Systems (ESSS) aims at contributing to the challenge of constructing reliable and secure systems. The workshop covers areas such as formal specification, type checking, model checking, program analysis/transformation, model-based testing and model-driven software construction. The workshop will bring together researchers and industry R&D expertise together to exchange their knowledge, discuss their research findings, and explore potential collaborations. The ESSS 2015 workshop is affiliated with FM 2015.
forum
Submitted by Anonymous on Mon, 01/12/2015 - 12:08pm
The Work-in-Progress (WiP) session at RTAS 2015 is dedicated to new and on-going research in the field of real-time and embedded systems. Authors are invited to submit short abstracts (up to 2 pages) describing ongoing, unpublished work in all areas of real-time and embedded technology, including applications, systems, tools, methodologies, foundations, wireless sensor networks, and hardware-software co-design. In keeping with the spirit of the main symposium, submissions with an emphasis on systems and application aspects are especially encouraged.
event
Submitted by Anonymous on Tue, 12/23/2014 - 11:25am
3rd FME Workshop on Formal Methods in Software Engineering will be held on 18 May 2015 in conjunction with ICSE 2015 (May 16th-May 24th)
forum
Submitted by Anonymous on Tue, 12/23/2014 - 11:21am
3rd FME Workshop on Formal Methods in Software Engineering
to be held on 18 May 2015 in conjunction with ICSE 2015 (May 16th-May 24th), in Florence, Italy
http://www.formalise.org/
forum
Submitted by Anonymous on Mon, 12/22/2014 - 3:59pm
FIRST CALL FOR PAPERS
FMICS 2015
20th International Workshop on
Formal Methods for Industrial Critical Systems
(http://fmics2015.org/)
22-23 June 2015, Oslo, Norway
In co-location with FM 2015: 20th International Symposium on Formal Methods
file
The objective of this research is to create tools to manage uncertainty in the design and certification process of safety-critical aviation systems. The research focuses on three innovative ideas to support this objective. First, probabilistic techniques will be introduced to specify system-level requirements and bound the performance of dynamical components. These will reduce the design costs associated with complex aviation systems consisting of tightly integrated components produced by many independent engineering organizations.
