Embedded Software

Software designed for computational processes that interact with the physical processes.
file

Visible to the public CrAVES : Credible Autocoding and Verification of Embedded Software

Abstract:

The CrAVES project seeks to lay down intellectual foundations for credible autocoding of embedded systems, by which model-level 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.

event

Visible to the public  ECRTA '15
Jul 08, 2015 8:00 am - Jul 10, 2015 5:00 pm CEST

EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS

Lund, Sweden, 8-10th July 2015

Organized by the Euromicro Technical Committee on Real-Time Systems

Conference web site: ecrts15.ecrts.org

THEME AND TOPICS OF INTEREST

ECRTS is the premier European venue for presenting research into the broad area of real-time and embedded systems. Along with RTSS and RTAS, ECRTS ranks as one of the three top international conferences on real-time systems.

forum

Visible to the public CALL FOR PAPERS ECRTS 15 Submission deadline: 1 February 2015 (firm deadline)

EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS

Lund, Sweden, 8-10th July 2015

Organized by the Euromicro Technical Committee on Real-Time Systems

Conference web site: ecrts15.ecrts.org

THEME AND TOPICS OF INTEREST

ECRTS is the premier European venue for presenting research into the broad area of real-time and embedded systems. Along with RTSS and RTAS, ECRTS ranks as one of the three top international conferences on real-time systems.

forum

Visible to the public CFP OpenModelica/MODPROD Workshops Febr 2015

CFP OpenModelica/MODPROD Workshops Febr 2015

Location: Linkoping University, Linkoping, Sweden

9th MODPROD Workshop on Model-Based Product Development, February 3-4, 2015
7th OpenModelica Annual Workshop, February 2, 2015

Special theme for this year: Open Source

Keynotes for MODPROD'2015 Workshop

event

Visible to the public  ICESS 2015
Aug 24, 2015 8:00 am - Aug 26, 2015 5:00 pm EDT

The 12th IEEE International Conference on Embedded Software and Systems

Co-located with HPCC 2015 and CSS 2015

*IMPORTANT DATES*

  • Abstract submission : Apr. 03, 2015
  • Paper submission : Apr. 30, 2015
  • Notification date : Jun. 15, 2015
  • Camera-Ready due : Jul. 15, 2015

*SCOPE*

forum

Visible to the public CfP: RAPIDO'15 - (co-located with HIPEAC2015) - EXTENDED DEADLINE NOV.9

!!! EXTENDED DEADLINE (NOVEMBER 9, 2014)!!!


RAPIDO'15 - CALL FOR PAPERS
7th Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools - RAPIDO

(http://rapido.hipeac.net - http://www.rapido.deib.polimi.it) in Amsterdam, The Netherlands, 21 January, 2015 Held in conjunction with the HiPEAC Conference (http://www.hipeac.net/conference)
!!! Accepted papers will be published in the ACM digital library !!!

event

Visible to the public  ICAC 2015
Jul 07, 2015 7:00 am - Jul 10, 2015 5:00 pm CEST

12th International Conference on Autonomic Computing (ICAC 2015)

In cooperation with USENIX and SPEC

Corporate supporters: Google, HP Labs, Orange Labs

IMPORTANT DATES

Abstract Submission: January 15, 2015
Paper Submission: January 22, 2015
Author Notification: April 10, 2015
Final Manuscript: May 1, 2015

SCOPE AND TOPICS

forum

Visible to the public CfP: ICAC 2015 International Conference on Autonomic Computing

ICAC 2015 Call for Papers

http://icac2015.imag.fr

12th International Conference on Autonomic Computing (ICAC 2015)

Grenoble, France, July 7-10, 2015

In cooperation with USENIX and SPEC
Corporate supporters: Google, HP Labs, Orange Labs

IMPORTANT DATES

event

Visible to the public  ISORC 2015
Apr 13, 2015 8:00 am - Apr 17, 2015 5:00 pm NZST

The 18th IEEE International Symposium On Real-Time Computing (ISORC 2015)


Scope and Topics of Interest

ISORC has become established as the leading event devoted to state-of-the-art research in the field of object/component/service-oriented real-time distributed computing (ORC) technology. We invite original submissions from academia and industry pertaining to all aspects of ORC technology. These include, but are not limited to: