SINTEF search

STF90 A05045This report has identified 29 weighted evaluation criteria representing desired properties of a model to model transformation language. These criteria have been used to evaluate the current QVT Merge specification. We have so far only been able to evaluate 21 of these criteria, mainly...

The purpose of this report is to contribute to a better understanding of technology research and the way to conduct it. The report pinpoints similarities and dissimilarities between classical research and technology research, and between technology research and action research. Hypotheses...

Avinor har gitt SINTEF i oppdrag å foreta en oppdatert støyberegning for Brønnøysund lufthavn Brønnøy. Det er beregnet for dagens trafikk for en tiårs prognose. Grunnlaget for beregningene er loggført trafikk for 2018. Prognosen inkluderer både trafikkvekst og utskifting av flytyper. Tidligere...

We address the problem of maintaining information flow security under refinement and transformation. To this end we define a schema for the specification of secure information flow properties and show that all security properties defined in the schema are preserved by a notion of refinement...

Det er utarbeidet støysonekart for Helikopterlandingsplass ved UNN Tromsø i henhold til reglene i Miljøverndepartementets retningslinje T-1442/2012. Støyberegningene foretas med NORTIM, verktøyet som tar hensyn til topografi ved beregning av lydutbredelse. Støysonekartet er basert på trafikken for...

Simultaneous gravimetric filter sampling of particulate matter in flue gas from chimney and diluted flue gas from dilution tunnel, on hot filter (≥ 70 ˚C) and on ambient filter (≤ 35 ˚C) respectively, to determine to which extent variables inherent to EN 13240 DIN+ and NS3058-59 affect the amount of...

Work-domain specific software solutions represent important challenges for usability evaluation methods; particularly related to the lack of context knowledge resources available to the usability experts involved in the evaluation. In order to meet this challenge we have investigated two methods...

We present a method for specifying high level security policies that can be enforced by runtime monitoring mechanisms. The method has three main steps: (1) the user of our method formalizes a set of policy rules using UML sequence diagrams; (2) the user selects a set of transformation rules from a...

We present a method for software development in which information flow security is taken into consideration from start to finish. Initially, the user of the method (i.e., a software developer) specifies the  system architecture and selects a set of security requirements (in the form of secure...

Det er utført beregning av støysoner for Eidfjord helikopterplass Sima i Eidfjord kommune i Hordaland. Beregningen er foretatt med NORTIM etter reglene i retningslinje T-1442 fra Miljøverndepartementet. Aktiviteten ved landingsplassen vil kunne ha en sterk sesongmessig variasjon. Det er derfor...

I dette notatet studeres mobilitetsdata på timesnivå tilrettelagt av Telia fra deres mobilnett. For områdene Fornebu og Bygdøy korreleres denne datakilden med trafikktellinger fra Fjellinjen og passasjertellinger fra Ruter, samt en sammenligning mot lokale RVUer for å verifisere og undersøke nytten...

Notatet beskriver arbeidet med utvikling av metode for beregning av tilstandsindikator for dekketilstand....

The objective of this state-of-the-art report (STAR) is to review work done to make pozzolana from natural occurring minerals by chemical treatment, and also outline principle possibilities of doing so. It does not include pozzolana by thermal treatment as for e.g. clays. Based on the theory of...

Det er utført beregning av støysoner for to helikopterplasser ved Tystigen i Stryn kommune i Sogn og Fjordane: En ved riksvegen der stolheis starter, en oppe på fjellet ved toppstasjon for bretrekk. Beregningen er foretatt samlet for de to landingsplasser ettersom mye av trafikken går mellom disse...

Forsknings‐ og utviklingsprosjektet "Bærekraftig internasjonalisering for norske produsenter av verdensledende landbruksteknologi" (COMPACT) tar for seg utfordringer og muligheter ved internasjonal vekst i norske bedrifter som lager landbruksteknologi. Hensikten var å utvikle et konsept for...

Rapporten gir innsikt i hvordan 50 ansatte ved 10 norske sykehus ser på omfang, innhold og nytte av oppgaver knyttet til rapportering og dokumentasjonsarbeid. Utvalget er gjort blant personell i førstelinjen i sykehusene eller ledere på laveste ledernivå og kvalitative intervju er benyttet som...

ARKTRANS is the Norwegian ITS framework architecture. ARKTRANS is multimodal. This means that the specifications are common to all transport modes (road, sea, rail and air). The specifications also are harmonised across freight and person transport. By providing such coordinated and harmonised...