Hoppa över menyflikskommandon

Hoppa till huvudinnehåll

Start

Systematisk testning av cyberfysiska system (SyTeC)

Projekt

Systematisk testning av cyberfysiska system (SyTeC)

Se engelsk sida för mer information.

Samarbetande organisationer

Volvo Cars (Privat, Sweden)
CalTech (Akademisk, USA)
Ecole Normale Superieure (ENS) (Akademisk, France)

Startdatum 2017-01-01

Slutdatum 2022-12-31

Projektmedlemmar
Finansiärer

John Hughes

Professor, avdelningen för funktionell programmering, Institutionen för data- och informationsteknik.
Knut Åkesson

Biträdande professor, Elektroteknik Masterprogramansvarig för Systems, control and mechatronics

Knut Åkesson är forskare i industriell automation. Hans intresse är rigorösa metoder för testing av verifiering av styrsystem med viktiga tillämpningar inom säkerhetskritiska autonoma system. Övriga...
Koen Claessen

Professor, avdelningen för funktionell programmering, Institutionen för data- och informationsteknik.
Martin Fabian

Professor, Elektroteknik

Martin Fabian är forskargruppsledare och professor i automation.
Bengt Lennartson

Professor, Avdelningschef för System- och reglerteknik, Elektroteknik

Bengt Lennartson är avdelningschef för System- och reglerteknik, och professor i automation sedan 1999. Han är IEEE Fellow för sina bidrag kring hybrida och händelsediskreta system för automation och...
Zahra Ramezani

Doktorand, Elektroteknik

Zahra Ramezani är doktorand i forskargruppen för Automation.
Mary Sheeran

Professor, avdelningen för funktionell programmering, Institutionen för data- och informationsteknik. Vice ledare för Genie (Gender Initiative for Excellence).
Nicholas Smallbone

Doktor, avdelningen för funktionell programmering, Institutionen för data- och informationsteknik.

Finansieras av

Vetenskapsrådet (VR) (Offentlig, Sweden)

Sidansvarig Publicerad: to 31 maj 2018.