ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems Models 2015 is the premier conference on systems and software modeling. It will be held in Ottawa, Canada September 27 to October 2, 2015. The main conference will run from Wednesday Sept 30 to Friday Oct 2, with satellite events such as workshops and tutorials being held the previous three days. Preliminary Call for Contributions

45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) The Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) is the most prestigious international forum for presenting research results in the field of dependable and secure computing.

Conference on Systems Engineering Research (CSER 2015) STEVENS INSTITUTE OF TECHNOLOGY DATES Tuesday, March 17: SEANET Workshop (Systems Engineering & Architecting Doctoral Network for Research) This workshop is designed for current or soon-to-be doctoral students, and consists of speakers and breakout sessions focused on performing doctoral research. Wednesday, March 18 - Thursday, March 19: CSER Conference     CONFERENCE OBJECTIVE

Abstract: The goal of this project is to develop a tool-chain for composition of safety-critical cyber-physical systems from a small code base of verified components and a large code base of unverified commercial off-the- shelf components. Unlike tool-chains that aim to deliver end-to-end verified component code, starting from formal languages, specifications, or models, an explicit goal of this project is to accommodate large amounts of legacy code that is typically too complex to verify.

Abstract: Medical devices are typically developed as stand-alone units. Current industrial Verification and Validation (V&V) tech- niques primarily target stand-alone systems. Moreover, the US Food and Drug Administration’s (FDA) regulatory clearance processes are designed to approve such devices that are integrated by a single manufacturer with complete control over all components.

Abstract: The present day technology falls short in offering centimeter scale mobile robots that can function effectively under unknown and dynamic environmental conditions.

Abstract: Networks of autonomous coordinated robots areprototypical examples of cyber-physical systems. Already today and increasingly in the near future, robotic systems will perform a broad range of environmental monitoring and logistic tasks. Aquatic robots will monitor oceanic life and conditions. Teams of vehicles will perform exploration, firefighting and search and rescue operations.

Abstract: We are at the end of a four­year effort that has dramatically improved the capability of the use of RF sensors, particularly those that measure received signal strength (RSS) to sense the locations and context of people in buildings and homes.  We have investigated both systems which use RFID tags to identify a person or object, and those which use a static deployed network of transceivers for device­free localization, to locate people moving in the environment who do not carry any tag or device.  Locating people who don’t wear a de

Abstract: Cyber-physical system (CPS) applications for urban systems often involve sophisticated interaction and coordination between physical and computational resources with a large number of sensing and actuation devices that share information communication networks.

Abstract: Effective response and adaptation to the physical world, and rigorous management of such behaviors, are mandatory features of cyber-physical systems (CPS). However, achieving such capabilities across diverse application requirements surpasses the current state of the art in system platforms and tools. Existing systems do not support the expression, integration, and enforcement of such properties that span cyber and physical domains.