Independent procedures that are used together for checking that a product, service, or system meets requirements and specifications and that it fulfills its intended purpose.
Anne Dyson Submitted by Anne Dyson on April 16th, 2012
IEEE DEST 2012 (June 18-20 2012, Campione, ITALY) has a track on Cyber Physical Energy Systems:
Submitted by Peter Palensky on April 16th, 2012
Submitted by Anonymous on April 16th, 2012
The NASA Formal Methods Symposium is a forum for theoreticians andpractitioners from academia, industry, and government, with the goals ofidentifying challenges and providing solutions to achieving assurancein mission- and safety-critical systems. Within NASA, for example, suchsystems include autonomous robots, separation assurance algorithms for aircraft,Next Generation Air Transportation (NextGen), and autonomous rendezvous anddocking for spacecraft. Moreover, emerging paradigms such as code generation
Alwyn Goodloe Submitted by Alwyn Goodloe on April 16th, 2012
Event
ESWEEK 2011
Embedded Systems Week is an exciting event which brings together conferences, tutorials, and workshops centered on various aspects of embedded systems research and development. Three leading conferences in the area - CASES, CODES+ISSS, and EMSOFT - will take place at the same time and location, allowing attendees to benefit from a wide range of topics covered by these conferences and their associated tutorials and workshops.
Janos Sztipanovits Submitted by Janos Sztipanovits on April 16th, 2012
This session focuses on methods and design tools for the exploration, analysis, simulation, selection, synthesis, and optimization of E/E automotive architectures (e.g., software, hardware, communication, wiring harness, and power architectures). These methods and tools apply to technologies such as multi-core processors, distributed systems, AUTOSAR, Flexray, CAN, Ethernet, and DSRC among others. The methods and tools are usually (but not limited to) model-based.
Submitted by Anonymous on April 16th, 2012
SSCPS 2011 The First International Workshop on Safety and Security in Cyber-Physical Systems http://www.sscps.net Jeju Island, Korea, June 27, 2011
Submitted by Wei Dong on April 16th, 2012
RTSS is the premier conference in the area of real-time comuting, presenting innovations in the field with respect to theory and practice.
Submitted by Anonymous on April 16th, 2012
Event
MobiCPS 2010
MobiCPS 2010 - The 1st IEEE International Workshop on Mobile Cyber-Physical Systems The MobiCPS workshop is an international forum for researchers and practitioners to present innovative ideas and results on all aspects of mobile cyber-physical systems, including theoretical foundations, techniques and methods, tools and platforms, prototypes, and practical applications. Besides research papers, this workshop will feature Invited Talks and a Panel Discussion session.  
Submitted by Anonymous on April 16th, 2012

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
Subscribe to Validation and Verification