Application of CPS technologies deployed in military contexts.
Event
11th IEEE International Conference on Industrial Informatics (INDIN’2013)
Special Session on Ensuring Safety in Industrial Critical Systems (ESICS)
Amy Karns Submitted by Amy Karns on April 4th, 2013
Event
CPSNA 2013
The 1st IEEE International Conference on Cyber-Physical Systems, Networks, and Applications Overview
Amy Karns Submitted by Amy Karns on April 4th, 2013
Event
The 12th International Workshop on Real-Time Networks
The 12th International Workshop on Real-Time Networks                      July 9th, 2013, Paris, France In conjunction with the 25th Euromicro Conference on Real-Time Systems (ECRTS)
Amy Karns Submitted by Amy Karns on April 4th, 2013
Event
Resilience Week 2013
Symposia dedicated to promising research in resilient systems that will protect cyber-physical infrastructures from unexpected and malicious threats--securing our way of life.
Craig Rieger Submitted by Craig Rieger on September 18th, 2012
Event
Workshop on Open Resilient human-aware Cyber-physical Systems (WORCS-2012)
Workshop on Open Resilient human-aware Cyber-physical Systems (WORCS-2012) http://conf.laas.fr/WORCS12 CALL FOR CONTRIBUTIONS Monday June 25, 2012 , Boston, USA In conjunction with the 42nd Annual IEEE/IFIP Int. Conf. on Dependable Systems and Networks (www.dsn.org) IMPORTANT DATES
Submitted by Mohamed Kaaniche on April 16th, 2012
Event
The Symposium on Emerging Topics in Control and Modeling: Cyber-Physical Systems
The goal of this two-day, single-track event is to expose researchers to control and modeling challenges in cyber-physical systems (CPS) with the aim of exchanging knowledge and fostering collaborations between academia, industry, and government agencies. The proposed symposium will cover several applications of cyber-physical systems such as networked systems of unmanned vehicles, power grids, green buildings, transportation systems and health-care systems via invited talks, poster presentations and a panel discussion.
Submitted by Quanyan Zhu on April 16th, 2012
Event
NSF Industry Round-Table on Cyber-Physical Systems
NSF Industry Round-Table on Cyber-Physical Systems, May 17, 2007, Arlington, VA.
Submitted by Anonymous on April 16th, 2012
Announcement
Component, Context, and Manufacturing Model Library - 2 (C2M2L-2)

Synopsis:
DARPA's Adaptive Vehicle Make (AVM) portfolio of programs is aimed at compressing at least five-fold the development timelines for new complex cyber-electro-mechanical systems such as military vehicles. Under AVM, DARPA is pursuing the development of several elements of enabling infrastructure aimed at radically transforming the systems engineering/design/verification (META /META-II ), manufacturing (iFAB ), and innovation (vehicleforge.mil ) elements of the overall "make" process for delivering new defense systems or variants. Each of these infrastructure capabilities is largely generic, i.e., applicable to any cyber-electro-mechanical system.

In order to exercise these capabilities in the context of a relevant military system, DARPA intends to build FANG -the Fast, Adaptable, Next-Generation Ground Vehicle-a new heavy infantry fighting vehicle (IFV). FANG's functional requirements will mirror those for the Marine Corps' Amphibious Combat Vehicle (ACV). A series of three design challenges focused on subsystems of increasing complexity will ultimately result in the FANG vehicle being built in the iFAB Foundry.

The present Component, Context, and Manufacturing Model Library 2 (C2M2L-2, pronounced "camel 2") solicitation is for the second round of domain-specific models needed to enable the design, verification, and fabrication of the chassis and survivability subsystems of the FANG vehicle using the META, iFAB, and vehicleforge.mil infrastructure. (The first of these challenges is focused on the mobility and drivetrain subsystems, and is supported by the C2M2L-1 effort.) A subsequent C2M2L solicitation is expected to address all of the remaining subsystem domains needed to construct and verify a complete infantry fighting vehicle.

Important Dates:
Posting Date: February 24, 2012
Response Date: April 24, 2012

Solicitation Number: DARPA-BAA-12-30
Notice Type: Presolicitation
Agency: Other Defense Agencies
Office: Defense Advanced Research Projects Agency
Location: Contracts Management Office

See the full DARPA-BAA-12-30 solicitation.

General Announcement
Not in Slideshow
Katie Dey Submitted by Katie Dey on February 28th, 2012
File
M2M: The Wireless Revolution - A Technology Forecast by Brazell et al
  
Submitted by Jim BRAZELL on January 25th, 2012
Project
CPS: Medium: Collaborative Research: Credible Autocoding and Verification of Embedded Software (CrAVES)
The CrAVES project seeks to lay down intellectual foundations for credible autocoding of embedded systems, by which graphical control system specifications that satisfy given open-loop and closed-loop properties are automatically transformed into source code guaranteed to satisfy the same properties. The goal is that the correctness of these codes can be easily and independently verified by dedicated proof checking systems. During the autocoding process, the properties of control system specifications are transformed into proven assertions explicitly written in the resulting source code. Thus CrAVES aims at transforming the extensive safety and reliability analyses conducted by control system engineers, such as those based on Lyapunov theory, into rigorous, embedded analyses of the corresponding software implementations. CrAVES comes as a useful complement to current static software analysis methods, which it leverages to develop independent verification systems. Computers and computer programs used to manage documents and spreadsheets. They now also interact with physical artifacts (airplanes, power plants, automobile brakes and robotic surgeons), to create Cyber-Physical Systems. Software means complexity and bugs - bugs which can cause real tragedy, far beyond the frozen screens we associate with system crashes on our current PCs. Software autocoding is becoming the de facto recommended practice for many safety-critical applications. CrAVES aims to evolve this towards higher standards of quality and reduced design times and costs. Rigorous, mathematical arguments supporting safety-critical functionalities are the cornerstone of CrAVES. Collaborative programs involving high-school teachers will encourage the transmission of this message to STEM education in high-schools through university programs designed for that purpose.
1136008
Off
Carnegie Mellon University
Temesghen Kahsai Azene
-
National Science Foundation
http://www.nsf.gov/awardsearch/showAward?AWD_ID=1136008&HistoricalAwards=false
Venet, Arnaud
Submitted by Temesghen Kahsai Azene on December 6th, 2011
Subscribe to Defense