Architectures

Software & systems engineering and their applications.
event

Visible to the public  ACM Conference on Embedded Networked Sensor Systems (SenSys)
Nov 06, 2012 10:55 am - Nov 09, 2012 10:55 am EST

 

The 10th ACM Conference on Embedded Networked Sensor Systems (SenSys 2012) solicits innovative research papers on the systems issues of networked, embedded sensing and control. The conference brings together academic, industry, and government professionals to a premier single-track, highly selective forum on sensor network design, implementation, and application.

event

Visible to the public  International Conference on Embedded Computer Systems: Architectures, Modeling and Similuation (SAMOS XII)
Jul 16, 2012 8:16 am - Jul 19, 2012 8:16 am -02

SAMOS is a premier and well-established conference on embedded systems organized annually since 2001. The conference brings together researchers from academia and industry on the quiet and inspiring northern mountainside of the Mediterranean island of Samos. It provides an environment where collaboration rather than competition is fostered. The conference considers new state-of-the-art mature research papers on all aspects of embedded processor hardware/software design and integration.

event

Visible to the public  Fourth NASA Formal Methods Symposium
Apr 03, 2012 5:19 am - Apr 05, 2012 5:19 am EDT

The NASA Formal Methods Symposium is a forum for theoreticians and
practitioners from academia, industry, and government, with the goals of
identifying challenges and providing solutions to achieving assurance
in mission- and safety-critical systems. Within NASA, for example, such
systems include autonomous robots, separation assurance algorithms for aircraft,
Next Generation Air Transportation (NextGen), and autonomous rendezvous and
docking for spacecraft. Moreover, emerging paradigms such as code generation

event

Visible to the public  SenSys 2011
Nov 01, 2011 11:30 am - Nov 04, 2011 11:30 am PDT

The 9th ACM Conference on Embedded Networked Sensor Systems (SenSys 2011) is a highly selective, single-track forum for the presentation of research results on systems issues in the area of embedded, networked sensors. Distributed systems based on networked sensors and actuators with embedded computation capabilities allow for an instrumentation of the physical world at an unprecedented scale and density, thus enabling a new generation of monitoring and control applications.

event

Visible to the public  Design Automation and Test in Europe (DATE) 2012
Mar 12, 2012 7:45 am - Mar 16, 2012 7:45 am CDT

The CPS topic in DATE includes high-level design, optimization and analysis of networked control and switched control systems; control/architecture co-design for distributed embedded systems; formal semantics, verification, model checking and abstraction refinement techniques for control software and systems; simulation and testing; architectures; modeling techniques; architecture-aware controller synthesis; model-based approaches to cyber-physical systems design; reliability-aware design and fault- tolerance; certification issues; specification languages and programming support; case studi

event

Visible to the public  MobiCPS 2010
Oct 25, 2010 7:00 pm - Oct 29, 2010 7:00 pm CDT

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.

forum

Visible to the public CFP: SenSys 2012

The ACM Conference on Embedded Networked Sensor Systems (SenSys 2012) solicits innovative research papers on the systems issues of networked, embedded sensing and control.

forum

Visible to the public CFP: SAMOS XII

SAMOS XII: INTERNATIONAL CONFERENCE ON EMBEDDED COMPUTER SYSTEMS: ARCHITECTURES, MODELING AND SIMULATION

February 10, 2012 – Paper Submission Deadline
Submissions are to be made at the submission website at http://www.samos-conference.com/samos_xii/html/