0 projects

INTSAMARBEID-INTSAMARBEID

Timed strategies for rewrite-based symbolic analysis of real-time systems

The development of time-critical systems (e.g., aircraft control systems or autonomous vehicles) require rigorous methods for guaranteeing the correct behavior of the system. Quite often, some characteristics of the system are unknown at design phase, and hence the need for introducing parameters...

Awarded: NOK 74,999

Project Period: 2023-2025

Location: Oslo

IKTPLUSS-IKT og digital innovasjon

Konferansestøtte, 17th International Conference on Software Engineering and Formal Methods (SEFM 2019), Oslo, 16-20. september 2019.

Se http://sefm2019.inria.fr/ for mer informasjon om SEFM 2019 og dens satelitt-workshops. SEFM er en anerkjent internasjonal konferanse innen software engineering og bruk av matematiske metoder for software-utvkling. Den er ranket som en CORE B konferanse. SEFM har regelmessig over 100 innsendte...

Awarded: NOK 99,999

Project Period: 2019-2019

Location: Oslo

VERDIKT-Kjernekomp.og verdiskaping IKT

8th International Symposium on Formal Aspects of Component Software

...

Awarded: NOK 34,999

Project Period: 2011-2011

Location: Oslo

IS-DAAD-Forskerutveksling Norge-Tyskland

Hybrid Systems Modeling and Analysis with Rewriting Techniques

The functionality of many modern advanced computer systems - such as medical devices, control systems, embedded automotive and avionics systems, Internet protocols, etc. - is crucially dependent on the amount of time that passes during/between events. Su ch real-time systems are often critical ...

Awarded: NOK 83,362

Project Period: 2010-2012

Location: Oslo

FRITEK-Teknologi

High-level Formal Modeling and Analysis of Real-Time and Hybrid Systems

The functionality of many modern advanced computer systems -- such as, e.g., wireless sensor networks, the Internet and other kinds of networks, and control systems -- is crucially dependent on the amount of time that passes during/between events. Furthe rmore, such advanced and often critical s...

Awarded: NOK 4.6 mill.

Project Period: 2007-2011

Location: Oslo

F-INF-Naturvitenskap, informatikk

Spesifikasjon og implementasjon av sanntidssystemer i omskrivningslogikk

Prosjektet ønsker å utvikle en metodologi for spesifikasjon og implementasjon av sanntidssystemer ved bruk av omskrivningslogikk i både spesifikasjons- og implementasjonsfasen. Dette fører til en forholdsvis liten avstand mellom spesifikasjon og implement asjon, noe som i sin tur fører til billig...

Awarded: NOK 1.2 mill.

Project Period: 2001-2004

Location: Oslo