VertiGrow
Laboratory for indoor vertical farming and optimisation of energy consumption for lighting.
Reliable Automation - Research Group
The Reliable Automation group specializes in cyber-physical systems for digitalized industrial automation, robotics, and critical infrastructure. Our expertise spans various fields and covers all project phases, from design to validation.
Contact person
Research Area
We are one of two cybernetical groups in SINTEF and work on implementing cyber-physical systems for digitalized industrial automation, robotics, agriculture, space applications and critical infrastructure such as digitalized electrical grids.
Cyber-physical systems are used to monitor and control physical processes by integrating sensors, actuators, embedded systems, networking and distributed real-time software. Because such systems interact with the physical world and may control critical infrastructure or potentially dangerous hardware, real-time aspects, dependability, and safety are of great importance.
Expertise
The group has expertise in cyber-physical systems in various fields like robotics, industrial automation, digitalized electrical grids, and agriculture. We are involved in all project phases, from design to verification and validation. We use our cybernetical expertise to define real-time, dependability, and safety requirements.
Our work includes using MBSE tools like SysML and Arcadia/Capella for system architecture, software development in languages such as Python, C, C++, and Ada/SPARK with formal verification, and testing real-time communication and middleware solutions.
We integrate hardware and software on different platforms, from microcontrollers and system-on-chip platforms like the Xilinx Zynq UltraScale+ to cloud solutions. We also engage in hardware prototyping of electronics and robots with 3D-printed components, along with system verification and validation.
Selected Projects
