Modeling

The formalization of system engineering models and approaches.
event

Visible to the public  RSSRail 2019
Jun 04, 2019 7:00 am - Jun 06, 2019 7:00 pm CEST

Submitted by Anonymous on Wed, 10/03/2018 - 1:20pm

International conference on reliability, safety and security of railway systems: modelling, analysis, verification and certification (RSSRail 2019)

The railway industry faces increasing pressure to improve system safety, to decrease production costs and time to market, to reduce carbon emissions and running costs, and to increase the capacity of the railway. Railway systems are now being integrated into larger multi-transport networks. Such systems require an even higher degree of automation at all levels of operation.

forum

Visible to the public CFP - (ARM): 17th Workshop on Adaptive and Reflexive Middleware, Rennes, France, December 10-14, 2018.

Submitted by boulouk on Mon, 08/27/2018 - 3:58pm

17th Workshop on Adaptive and Reflexive Middleware (ARM 2018)

http://cedric.cnam.fr/arm

Theme of 2018: "Smart and Connected Communities for Environmental Challenges"

Rennes, France, December 10-14, 2018.

in conjunction with The ACM/IFIP/USENIX Middleware conference

ARM 2018 CFP

event

Visible to the public  ICCPS 2019
Apr 16, 2019 7:00 am - Apr 18, 2019 6:00 pm EDT

Submitted by Anonymous on Fri, 08/17/2018 - 1:09pm

The 10th ACM/IEEE International Conference on Cyber-Physical Systems (CM/IEEE ICCPS 2019)

Overview: As digital computing and communication become faster, cheaper, and available in packages that are smaller and use less power, these capabilities are increasingly embedded in many objects and structures in the physical environment. Cyber-physical systems (CPS) are physical and engineered systems whose operations are monitored, coordinated, controlled, and integrated by computing and communication.

forum

Visible to the public Multiple PhD positions in CPS cyber-security and robotics at UVA

Submitted by nicbezzo on Wed, 08/08/2018 - 10:47pm

Multiple PhD positions in cyber-physical systems security and robotics safe planning are available at the University of Virginia (UVA) Autonomous Mobile Robots Laboratory (https://www.bezzorobotics.com/).

Research areas: