Modeling

The formalization of system engineering models and approaches.
forum

Visible to the public The scalable adaptive cruise controller model

Submitted by njubulei on Tue, 12/20/2016 - 1:39am

Here is a model for an adaptive cruise controller, very similar with the one in HPWC category, http://cps-vo.org/node/31200.

Model Description, copied from http://cps-vo.org/node/31200: There are n vehicles is a queue, each of which senses the speed of the car in front an keeps this speed. The speed sensor have possible distrurbance constrained in an interval.

event

Visible to the public  ER 2017
Nov 06, 2017 7:00 am - Nov 09, 2017 6:00 pm CET

Submitted by Anonymous on Thu, 12/15/2016 - 4:24pm

The 36th Annual International Conference on Conceptual Modeling (ER 2017)

The International Conference on Conceptual Modeling (ER) is the leading international forum for current research on conceptual modeling and trendsetting applications.

event

Visible to the public  IFSMS 17
Sep 18, 2017 7:00 am - Sep 20, 2017 6:00 pm CEST

Submitted by Anonymous on Thu, 12/15/2016 - 3:39pm

Fourth International Workshop on Information Fusion for Smart Mobility Solutions (IFSMS17)

In conjunction with the 8th International Conference on Emerging Ubiquitous Systems and Pervasive Networks EUSPN 2017.

forum

Visible to the public SAFECOMP17 Call for Papers

Submitted by Anonymous on Thu, 12/15/2016 - 3:04pm

CALL FOR PAPERS

The 36th International Conference on Computer Safety, Reliability and Security (SAFECOMP17)

12 - 15 September 2017 | Trento, Italy | http://www.safecomp.org

IMPORTANT DATES:

  • Workshop proposal submission: 6 February 2017
  • Full paper submission: 28 February 2017
  • Notification of acceptance: May 8 2017
  • Camera-ready Submission: 12 June 2017
  • Conference: 13-15 September 2017

CO-LOCATED EVENTS:

event

Visible to the public  SAFECOMP 2017
Sep 12, 2017 7:00 am - Sep 15, 2017 6:00 pm CEST

Submitted by Anonymous on Thu, 12/15/2016 - 3:04pm

The 36th International Conference on Computer Safety, Reliability and Security (SAFECOMP17)

CO-LOCATED EVENTS:

SAFECOMP Workshops: 12 September 2017
IMBSA (International Symposium on Model-Based Safety Assessment): 11-13 September 2017
SEFM (Intern. Conference on Software Engineering and Formal Methods): 5-8 September 2017

ABOUT SAFECOMP

forum

Visible to the public Associate/Assistant Professor in Programming Languages at the Technical University of Denmark

Submitted by Anonymous on Thu, 12/15/2016 - 2:04pm

Dear colleagues,

There is an open position in the section for Formal Methods at the Department of Applied Mathematics and Computer Science of Technical University of Denmark. The position is at the assistant or associate professor level within the area of implementation of programming languages.

The date for application is on February 5th and full details are available at

http://www.compute.dtu.dk/english/about_us/vacant_jobs/job?id=2be9221f-100d-4654-ae96-2e46aae2e447