scholarly journals WINDIS Lab The cyber world that surrounds us

2011 ◽  
Vol 2 (2) ◽  
pp. 1
Author(s):  
Regina Borges de Araújo ◽  
Rafaela Vilela da Rocha ◽  
Allan Cesar Oliveira ◽  
Leonardo Botega
Keyword(s):  
Embedded Systems ◽  
Computer Science ◽  
Cyber Physical Systems ◽  
Research Interest ◽  
Science Department ◽  
Computer Science Department ◽  
Physical Systems ◽  
Research Areas ◽  
Institute Of Technology ◽  
Interactive Simulations

This paper introduces the WINDIS Laboratory of the Computer Science Department of Federal University of Sao Carlos. One of WINDIS research areas is on Interoperable, Composable and Integrable Distributed Interactive Simulations. As a member of the National Institute of Technology on Embedded Systems (INCT-SEC) WINDIS research interest also includes post-embedded systems generation, known as cyber-physical systems, and its HCI challenges: building flawless and seamless interfaces in the cyber world that surround us.

scholarly journals Proceedings of the CLICS Workshop: Part I og II

1992 ◽  
Vol 21 (397) ◽  
Author(s):  
Glynn Winskel
Keyword(s):  
Computer Science ◽  
Basic Research ◽  
Science Department ◽  
Computer Science Department ◽  
Categorical Logic ◽  
Research Action ◽  
Logic In Computer Science

This is a collection of papers, notes and copies of transparencies representing the talks of the CLICS Workshop at the Computer Science Department, Aarhus University, 23 - 27 March 1992. CLICS is an Esprit, Basic Research Action on Categorical Logic in Computer Science.

scholarly journals Timing Predictability and Security in Safety-Critical Industrial Cyber-Physical Systems: A Position Paper

2020 ◽  
Vol 10 (9) ◽  
pp. 3125
Author(s):  
Saad Mubeen ◽  
Elena Lisova ◽  
Aneta Vulgarakis Feljan
Keyword(s):  
Embedded Systems ◽  
Cyber Physical Systems ◽  
Position Paper ◽  
Technological Advancement ◽  
Functional Safety ◽  
Physical Systems ◽  
Safety Critical ◽  
Secure Embedded Systems ◽  
Time Critical ◽  
Networking Technology

Cyber Physical Systems (CPSs) are systems that are developed by seamlessly integrating computational algorithms and physical components, and they are a result of the technological advancement in the embedded systems and distributed systems domains, as well as the availability of sophisticated networking technology. Many industrial CPSs are subject to timing predictability, security and functional safety requirements, due to which the developers of these systems are required to verify these requirements during the their development. This position paper starts by exploring the state of the art with respect to developing timing predictable and secure embedded systems. Thereafter, the paper extends the discussion to time-critical and secure CPSs and highlights the key issues that are faced when verifying the timing predictability requirements during the development of these systems. In this context, the paper takes the position to advocate paramount importance of security as a prerequisite for timing predictability, as well as both security and timing predictability as prerequisites for functional safety. Moreover, the paper identifies the gaps in the existing frameworks and techniques for the development of time- and safety-critical CPSs and describes our viewpoint on ensuring timing predictability and security in these systems. Finally, the paper emphasises the opportunities that artificial intelligence can provide in the development of these systems.

Sign in / Sign up

Export Citation Format

Share Document