Forskningsprojekt

A Novel, Comprehensible, Ultra-Fast, Security-Aware CPS Simulator (COSSIM)

One of the main problems the CPS designers face is “the lack of simulation tools and models for system design and analysis”. This is mainly because the majority of the existing...
ACE: Approximativa algoritmer och datorsystem

Datorer är motorn i dagens informationsteknologiska samhälle. De är osynliga men utför kritiska beräkningar i de flesta tekniska system. De är också pålitliga och utför beräkningar...
Addressing Hardware Timing Covert Channles

Se engelsk sida för mer information. Samarbetande organisationer Stanford University (Akademisk, USA)
AMALTHEA4Public - Enabling of Results from AMALTHEA and others for Transfer into Application and...

The project focuses on software engineering for embedded systems. The project is mainly building eclipse/EMF-based modeling tools for automotive embedded multicore systems. The...
AppFlow

Vi låter i allt större utsträckning mjukvaruapplikationer, so kallade "appar", hantera känslig data om oss själva. Våra liv i den digitala sfären, våra banktransaktioner...
AQOSA - Automated Quality-driven Optimization of Software Architecture

The design of software architecture is one of the difficult tasks in the modern component-based software development which is based on the idea that develop software systems by...
A-TEAM - Avancerade Testsystem Avancerade Metoder

Today’s vehicles feature a broad variety of active safety systems that help to detect potentially risky traffic situations to prevent collisions in the best case. Such systems...
Automotive 5G Integrated Security and Communications

Se engelsk sida för mer information.
BADA - On-board Off-board Distributed Data Analytics

Se engelsk sida för mer information. Samarbetande organisationer Stiftelsen Fraunhofer-Chalmers Centrum för Industrimatematik (Forskningsinstitut, Sweden) Volvo Group (Privat...
BAuD II: Storskalig insamling och analys av data för kunskapsdriven produktutveckling

Det föreslagna projektet - BAuD II - är en fortsättning på FFI-projektet BAuD - Big Automotive Data. I BAuD-projektet har en prototyplösning tagits fram som möjliggör automatiserad...
Bevisbaserad Testning - Bevistekniker som gör det möjligt att testa komplicerade algoritmer...

Det är ofta problematiskt att testa de allra mest komplexa komponenter i ett datasystem helt automatiskt, eftersom beskrivningen av vad dessa komponenter ska göra är minst lika...
Big data Analytics and Infrastructure for Business Intelligence, Biomedicine and Health

Syftet med projektet är att kombinera modern avancerad forskningskompetens på Chalmers med spjutspets teknologisk kompetens inom datahantering och analys vid Persistent, en värld...
Big Data Processing in the context of Smart Buildings,

Se engelsk sida för mer information. Samarbetande organisationer REWE Andreas Klautke oHG (Privat, Germany) REWE Markt GmbH Nord Zweigniederlassung Nord (Privat, Germany)
Biometric Evaluation and Testing

Identity management using biometrics is deployed in a growing number of applications ranging from identification platforms (e.g. biometric passports) to access control systems for...
Biometrics Evaluation and Testing (BEAT)

Identity management using Biometrics is deployed in a growing number of applications ranging from identification platforms (e.g. biometric passports) to access control systems for...
CASUS: Konstruktion av IT-säkerhetsunderlag för öppna fordonssystem

Se engelsk sida för mer information. Samarbetande organisationer Volvo Cars (Privat, Sweden) Volvo Group (Privat, Sweden)
Centre of excellence for Global Systems Science (CoeGSS)

Se engelsk sida för mer information. Samarbetande organisationer Instytut Chemii Bioorganicznej Polskiej Akademii Nauk (Forskningsinstitut, Poland) CoSMo Company (Privat...
Chalmers Sweden - NUS Singapore. Joint Strategic Project for Education and Research in...

The goal of this project is to foster, strengthen, and position collaboration between Chalmers Sweden and National University of Singapore, NUS, in the area of digital interactivity...
ChaosNet: Distributed Computing for Low-Power Wireless Networks

Tillgång till internet och andra kommunikationskanaler är en viktig drivkraft i vårt moderna samhälle och de flesta av oss är redan uppkopplade. Nästa steg är att sätta uppkoppling...
Characterizing Privacy-Preserving Software

Se engelsk sida för mer information. Samarbetande organisationer Harvard University (Akademisk, USA)
C-ITS Testplattform för framtidens transportsystem (CHRONOS steg1)

Svensk industri/akademi har höga mål/ambitioner för färre trafikskadade/dödade. Intensiv utveckling av automatiserade och kommunicerande fordon är lösningen. Test och validering måste...
COPPS - Cooperative Perception Platform for Self-Driving Vehicles

Research and development around self-driving vehicles and interconnected mobility/transportation solutions have gained an increased attraction since recent large international...
CRitical Infrastructure Security AnaLysIS (CRISALIS)

Se engelsk sida för mer information. Samarbetande organisationer Liander (Privat, Netherlands) Enel (Privat, Italy) Siemens (Privat, Germany) Eurecom (Privat, France) Symantec...
Cross-Layer Authentication for Wireless Networks

The goal of this project is to explore practical security approaches for cross-layer authentication by employing mechanisms operating at the physical layer of wireless communication...
Cross-layer Authentication Protocols for Wireless Networks

The goal of this project is to explore practical security approaches for cross-layer authentication by employing mechanisms operating at the physical layer of wireless communication...
CRYPTAnalysis of Ubiquitous CompUting Systems

Recent technological advances in hardware and software have irrevocably affected the classical picture of computing systems. Today, these no longer consist only of connected...
CRYSTAL - Critical System Engineering Acceleration

The overall project goal of CRYSTAL is to foster Europe’s leading edge position in the design, development, and deployment of interoperable safety-critical embedded systems in...
Data Intensive Visualization and Analysis (DIVA)

This project is aimed at training the next generation of visualization and analysis experts who will be equipped with the necessary skills to cope with the major challenges for visual...
DecentLP: Robust decentraliserad plats-sekretess

Platsbaserade tjänster (Location based services, LBS) blir allt mer vanliga. Utbredningen av mobila sammankopplade enheter öppnar enorma möjligheter för tjänster som utnyttjar data om...
Development of automated methods for specification extraction from programs

Se engelsk sida för mer information.
DEx: Identifiering , GAP-analyser och spridning av forskningsbehov inom fordons IT-säkerhet och...

Syfte och målSyftet med DEx-projektet är att genomföra omvärldsbevakning, att identifiera kompetensgap i relevanta insatsområden, att förstå och stimulera forsknings- och...
Digitalisering för ett hållbart samhälle

Projektet är inriktad på att förbereda och utföra ett stort internationellt möte av International Society for Study of Information, is4si 2017 IS4SI-2017 topmötet i Göteborg...
Embedded Multi-Core Systems for Mixed Criticality Applications in Dynamic and Changeable Real-Time...

Syftet med EMC² projektet är att främja denna förändring av inbyggda system genom en innovativ och hållbar tjänsteorienterad arkitektur-strategi för blandade kriticitetsproblem...
En demonstrator för virtuell planering och scenarioanalys av osynliga miljövärden med fokus på...

Se engelsk sida för mer information. Samarbetande organisationer Göteborgs Universitet, Medicin, Samhällsmedicin och folkhälsa (Akademisk, Sweden)
Energieffektiv optisk fiberkommunikation

Projektets mål är att först identifiera flaskhalsarna i de fiberoptiska systemen, det vill säga var i systemen de största energitjuvarna finns, och sedan designa och bygga en modell...
Energy-efficient Heterogeneous COmputing at exaSCALE (ECOSCALE)

Se engelsk sida för mer information. Samarbetande organisationer University of Manchester (Akademisk, United Kingdom) Acciona Infraestructuras (Privat, Spain) STMicroelectronics...
Ett enhetligt ramverk för statisk och körtids-verifiering av objekt-orienterad mjukvara

Vi ser idag en allt starkare strävan inom mjukvaruindustrin efter enkla formella metoder för att verifiera olika aspekter av programvara och system. Att intresset har ökat på sistone...
EUREKA CELTIC MERCO

Syfte och mål MERCO projektet avser att producera stationär och mobil gruppvara som kommer att placeras ut hos projektdeltagarna för att förbättra nätbaserat samarbete. För att uppnå...
Examine –- Extracting useful information out of data in AMI networking

Se engelsk sida för mer information.
Execution Models for Energy-Efficient Computing Systems (EXCESS)

The EXCESS project aims at providing radically new energy execution models forming foundations for energy-efficient computing paradigms that will enable two orders of magnitude...
Finkornig synkronisering och minneskonsekvens i parallelprogrammering

Shared memory parallel algorithms are extremely tricky; small details can introduce hard to discover bugs, depending on the interleaving of events. Programmers naturally wish to rely...
FlexCSP - Putting Content Security Policy to work for Practical Web Applications

Se engelsk sida för mer information.
Flygtrafikledningssystem: harmonisering av krav- och verifieringsprocess

Projektet syftar till att utveckla nya metoder för kravställning och verifikation av icke funktionella krav som rör operatörernas upplevelser av programvaror för flygtrafikledning...
Formal Model Validation along the Test Process Chain for Networked Hardware-in-the-Loop Test Systems

This project identifies, analyses, and investigates technical debt during integration testing at Hardware-in-the-Loop (HIL) test rigs.(Please contact Jan Schröder for a more detailed...
Fotorealistisk rendering för realtid

Datorgenerering av fotorealistiska bilder från virtuella scener i realtid har alltid varit ett av målen inom datorgrafik. Med realtid menas att resultatet levereras så snabbt att man...
Framtidens stad med syntetiska populationer

Syftet med projektet är att skapa en miljö som möjliggör design av hållbara framtida urban miljöer. Målet med initieringsprojektet har varit att identifiera hur vi på bästa sätt möter...
Generaliserade och snabba sökstrategier för parameteriserade problem

Fast algorithms for special instances of hard computational problems are essential to many computer applications. In this project we focus on combinatorial problems from data mining...
Generating and Proving Program Properties via Symbol Elimination

Komplexa datorsystem har blivit en viktig del av våra liv. Banker, sjukhus, företag, och individer använder sådana system och är beroende av dem. Dessa system, bl.a. Internet...
GenPro: Generera och bevisa programegenskaper via symboleliminering

Mycket komplexa datorsystem har blivit en viktig del av våra liv. Banker, sjukhus, företag, organisationer och individer använder sådana system och är beroende av dem. Dessa system...
GRACeFUL - Global Systems Rapid Assessment Tools Trough Constraint Functional Languages

The making of policies coping with Global Systems is a process that necessarily involves stakeholders from diverse disciplines, each with their own interests, constraints and...
Green Computing Node for European micro-servers (EUROSERVER)

Data-centres form the central brains and store for the Information Society and are a key resource for innovation and leadership. The key challenge has recently moved from just...
HAREN: Självdistribuerad och anpassningsbar dataströmningsanalys i dimman

För att till fullo kunna utnyttja den stora beräkningskraften som finns i dimman behövs ett nytt analytiskt förhållningssätt. Istället för "först hårdvara, sedan förfrågan&quot...
HEAling Vulnerabilities to ENhance Software Security and Safety (HEAVENS)

Projektet har för avsikt att identifiera sårbarheten hos mjukvarusystem inom fordonsindustrin med avseende på datasäkerhet/intrångsskydd (härefter benämnt säkerhet). Utveckling av...
HoliDev - Holistic DevOps Framework

Målet är att utveckla ett holistisk ’DevOps Framework’ som integrerar tre utvecklingsmetoder: (1) Kravdriven utveckling där mjukvara är byggd efter specifikation, (2) Resultatdriven...
Holistiskt angreppssätt att förbättra datasäkerhet (HoliSec)

Det huvudsakliga syftet är att adressera datasäkerhetbrister i utvecklingsprocesser som används av fordonsindustrin, från konceptfas ända tills dess att produkten är i bruk. Målet är...
HybrId Privacy analySis wiTh hardwarE suppoRt (HIPSTER)

Se engelsk sida för mer information.
Informationsdriven säker Business Intelligence (DataBIN)

Se engelsk sida för mer information. Samarbetande organisationer Findwise (Privat, Sweden) Recorded Future (Privat, Sweden)
Informationsteori för programvarutestning

Se engelsk sida för mer information. Samarbetande organisationer Blekinge Tekniska Högskola, BTH (Akademisk, Sweden)
Integrated cyber-physical solutions for intelligent distribution grid with high penetration of...

Se engelsk sida för mer information. Samarbetande organisationer Enexis (Privat, Netherlands) Sorea ( energies & communications, Privat, France) Göteborg Energi AB (Privat...
Integritet och säkerhet i kroppsburna datorenheter

”Wearable computing”, kroppsburen och allestädes närvarande databehandling, är en kommande teknologi som förväntas ge en våg av förändringar likt den som kom med dagens smartphones...
intelligent TRAffic maNagement System based on ITS (iTRANSIT)

Målet med iTRANSIT är att implementera möjliggörande delkomponenter för intelligenta trafiksystem (ITS): säkra delar (lokal dynamisk karta och meddelandehantering) av en ITS-station...
Interaktiva 3D deformerbara kroppars design

Interaktiva deformerbara kroppars dynamik är ett väl studerat ämne inom datorgrafik som möjligör efterliknanden av rörelser och egenskaper av mjuka kroppar så som kläder, tyger, hår...
ISO 26262 Verifiering av programvara i säkerhetskritiska EE-system (VISEE)

Syfte och mål Införande av ny säkerhetsstandard ISO 26262 kräver nya sätt att säkerställa att moderna bilar uppfyller kravstandarden. Projektet syftar till att förbättra säkerheten av...
Kernel-based ARchitecture for safetY-critical cONtrol (Karyon)

The use of autonomous mobile systems as unmanned aerial vehicles (UAVs) or smart cars are desirable for example for environmental surveillance like the monitoring of ash clouds...
Large-Scale private adaptive experiments for drug discovery

This project is part of a larger effort to develop algorithms for large-scale experiment design for the problem of automated drug development. Drug compounds are described by...
Lastbalansering och klustring i storskaliga overlay-nät

Overla can facilitate the collaboration between subsets of nodes/hosts of a network, towards common goals (e.g. resource sharing, community structures and more) Clustering in such...
Learning, privacy and the limits of computation

Intelligent learning agents are now employed virtually everywhere and interact with ever more complex systems. Consequently, they must process data and make complicated decisions at...
Low-energy toolset for heterogeneous computing (LEGaTO)

Se engelsk sida för mer information. Samarbetande organisationer Technion – Israel Institute of Technology (Akademisk, Israel) Helmholtz Centre for Infection Research (Privat...
Lärande och teoribildning inom automatisk teorembevisning

Fel i datorprogram, så kallade buggar, kan få stora konsekvenser. År 2002 beräknades buggar i program kosta den amerikanska ekonomin $60 miljarder per år enligt en undersökning av...
Makerspace i skolan

Projektet ska bidra med utveckling av ny ämnesspecifik metodik kring skapande med IT som material samt utveckla och sprida beprövad erfarenhet inom området makerkultur mellan lärare...
Managing Architectural Technical Debt

The current focus of my research is on the phenomenon called Architectural Technical Debt: a financial metaphor that represents sub-optimal architectural decisions taken as debt...
Matematikens domänspecifika språk (DSLsofMath)

DSLsofMath är ett pedagogiskt projekt som utveckliat en ny kurs på kandidatnivå och relaterat material.
Metoder for komplex medicinsk volymsvisualisering baserade på kliniska uppgifter och kognitiva...

Effektiv medicinsk visualisering genom anpassning av tekniken till outtalade uppgifter och tankeprocesser Det görs stora framsteg inom medicinsk avbildning, vilket ger möjlighet till...
Molnbaserade produkter och produktion (FiC)

Framtidens produktion och produkter är smarta och uppkopplade med en stor del av intelligensen i Molnet. Detta möjliggör successiv utveckling, effektiva tillverkningsprocesser, ökad...
Morfologiska beräkningar i kognitiva system (MORCOM@COGS)

Naturen har genom evolutionen utvecklat processer i sina informationsstrukturer som vi lär oss använda för att öka förmågan att hantera de enorma mängder data som ständigt genereras...
Mot kunskapsbaserad storskalig kunskapsutvinning ur svensk text

Mot kunskapsbaserad storskalig kunskapsutvinning ur svensk text Nyligen har några forskare börjat utnyttja de enorma textmängder som resulterat ur Googles massiva...
Noggrann positionering av cyklister

Samarbetande organisationer SP Sveriges Tekniska Forskningsinstitut (Forskningsinstitut, Sweden)
Noggrann positionering av cyklister

Se engelsk sida för mer information. Samarbetande organisationer SP Sveriges Tekniska Forskningsinstitut AB (Forskningsinstitut, Sweden)
Octopi: Säker Programmering för Sakernas Internet

Se engelsk sida för mer information. Samarbetande organisationer Ericsson AB (Privat, Sweden) LumenRadio AB (Privat, Sweden) Pelagicore AB (Privat, Sweden)
on-Demand System Reliability (DeSyRe)

Se engelsk sida för mer information. Samarbetande organisationer Recore Systems Bv (Privat, Netherlands) University of Bristol (Akademisk, United Kingdom) Imperial College London...
Parallel Algorithms for Interactive Simulations of 3D Soft Tissues

Se engelsk sida för mer information.
Performance Portability and Programmability for Heterogeneous Many-core Architectures (PEPPHER)

Se engelsk sida för mer information. Samarbetande organisationer Intel Deutschland GmbH (Privat, Germany) Karlsruher Institut für Technologie (KIT) (Akademisk, Germany) Institut...
PLACED - Place- and Activity-Centric Dynamic Library Services

Syftet med PLACED är att utveckla offentliga digitala tjänster som stödjer omvandlingen av bibliotek från statiska till dynamiska urbana kunskapshubbar. Målet är att utveckla en ny...
PRECIS: Integritet och säkerhet i bärbara datorprylar

Bärbar och allestädes närvarande datorisering är en kommande teknologi som förväntas ge en våg av förändringar likt den med dagens smartphones. Dessa små bärbara småprylar...
PreSISe-1- Prehospitalt BeslutsStöd för Identifiering av Sepsisrisk

Sepsis är ett vanligt och allvarligt tillstånd som drabbar upp till 40 000 personer årligen i Sverige och med en mortalitet på upp till 20%. Tidig identifiering samt snabb...
Programming Language-Based Security To Rescue (PROSECUTOR)

Se engelsk sida för mer information.
Property-based testing of Web services (PROWESS)

Se engelsk sida för mer information. Samarbetande organisationer University Of Kent (Akademisk, United Kingdom) Universidade Da Coruna (Akademisk, Spain) Erlang Solutions Limited...
Pålitlig mjukvara via programmering och kompilering i logik

Vi använder en massa datorer i vårt dagliga liv. Vi är beroende av våra telefoner och är villiga att ge dem våra bankuppgifter. Vi kör bil och snart kommer bilarna kanske att köra sig...
Running Untrusted Applications Without Revealing your Secrets

Se engelsk sida för mer information. Samarbetande organisationer Buffalo University (Akademisk, USA)
ScalaNetS: Skalbara nätverks- och dataströmsberäkningar

Se engelsk sida för mer information.
SEAFRONT – Secure, Private, Fast and Reliable Wireless Communications

The next generation of wireless systems is expected to turn wireless connectivity into a true commodity ``...for anything that may benefit from being connected...'', ranging from tiny...
SecOpen: Säkrande av Öppna Utvecklingsplattformar

Vi bevittnar en revolution i hur människor kommunicerar med varandra, genom exempelvis sociala medier såsom Facebook eller Twitter, smartphones som iPhone eller Android och dylikt...
Secure Hardware-Software Architectures for Robust Computing Systems (SHARCS)

Developing new security paradigms, architectures, and software, for more secure and trustworthy ICT systems and services has clear social, scientific, and market motivation. This...
Secure, Private and Efficient Healthcare with Wearable Computing

Wearable devices create exciting opportunities for home monitoring of chronic/elderly patients and reduce the length/cost of hospitalization. However, the very same devices have weak...
Secure, Private and Efficient Healthcare with Wearable Computing

Wearable devices create exciting opportunities for home monitoring of chronic/elderly patients and reduce the length/cost of hospitalization. However, the very same devices have weak...
SECUREIT

Se engelsk sida för mer information. Samarbetande organisationer Göteborgs universitet (Akademisk, Sweden) Göteborgs universitet (Utgivare, Sweden) Totalförsvarets forskningsinstitut...
Securing Google App Engine

Se engelsk sida för mer information. Samarbetande organisationer Google Inc. (Privat, USA)
SECURIT - Informationssäkerhetskultur

Forskningsprogrammet Security Culture and Information Technology, SECURIT, har som mål att förbättra organisationers informationssäkerhet. I moderna informationsdrivna...
Security and Privacy for the Future Internet of Things

The Internet of Things (IoT) is a pillar of the future Internet. Recent advances in miniaturization, battery life, energy harvesting, hardware costs and transmission protocols have...
Software Center Phase II

I Software Center samarbetar företag och universitet för att påskynda introducerandet av nya metoder för mjukvaruutveckling. Detta för att kunna möta de utmaningar som svenska- och...
Starkt typade bibliotek för program och bevis

En viktig gren av forskningen inom datavetenskap handlar om att utveckla system (programspråk, verktyg, programbibliotek, teorier) som gör det enkelt att konstruera korrekt och...
STEPFlow_Spatio-temporal modelling and estimation of pedestrian flow

For urban planning and design one of the main challenges is to understand how urban form impacts urban life where the people co-presence in public space (i.e. walking, sitting...
Storskalig dataanalys från Internet of Things för att möjliggöra framtidens hållbara stad

Den pågående trenden mot Internet of Things (IoT) återspeglas inom energisektorn i en ökad användning av smarta elmätare. Projektet syftar till att utveckla och sammankoppla tre...
Support of Learning, Security and Privacy

In this project, we focus on developing an interdisciplinary course on statistics, cryptography, machine learning, security and privacy. The main objective of the course will be to...
SwissSenseSynergia (SNSF)

The SwissSenseSynergy project aims to bring together research from closely related fields that have recently emerged due to the proliferation of wireless computing devices. In...
SwissSenseSynergy

The SwissSenseSynergy project aims to bring together research from closely related fields that have recently emerged due to the proliferation of wireless computing devices. In...
Syssec: A European Network of Excellence in Managing Threats and Vulnerabilities in the Future...

Over the past decade we are witnessing an ever-increasing amount of cyberattacks on the Internet.Prolific, ingenious, and ranging in style from large-scale worms to "below the...
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)
Säkerhetsramverk för fordonskommunikation (SeFram)

Uppkopplade lösningar för intelligent trafikstyrning (ITS), bekvämlighet- och underhållningsfunktioner exponerar fordonets nätverk för extern information och påverkan. Projektet...
Säkra IT-system för drift och övervakning av samhällskritisk infrastruktur

Se engelsk sida för mer information. Samarbetande organisationer ABB Sverige (Privat, Sweden) Linköpings universitet (Akademisk, Sweden) Göteborgs stad, Kretslopp och vatten...
Teambaserad utveckling för säkerhet och kvalitet av programvara till flygsystem

Syfte och målDet övergripande målet är att förbättra metoderna som används för att utveckla komplex programvara och som möter de krav på kvalitet och säkerhet som gäller för flyg. Vi...
Tetramax

Se engelsk sida för mer information.
TIES - Test Innovation Engine Sweden

TIES har uppdraget att utveckla kopplingen mellan akademi och industri så att ett större antal företag ska kunna tillgå avancerad forskningskunskap som en del i sitt...
Touch AT! Design av interaktiva pekskärmsbaserade hjälpmedel för barn med kognitiva funktionshinder

Projektet ’Touch AT! – Design av interaktiva pekskärmsbaserade hjälpmedel för barn med kognitiva funktionshinder’ avser att studera hur informationsteknologi kan användas som stöd för...
Transformera byggnadsenergi och resursförbrukning på campus

Hur kan infrastrukturen på Johanneberg campus omvandlas för att drastiskt minska energi- och miljö-påverkan och vad är innovativa vägar till en sådan omvandling? Genom teknologisk...
Ultralåg fördröjning, effektsnåla trådlösa nät

Wireless networking for Cyber-Physical Systems (CPS) and the Internet of Things (IoT) poses unique challenges: Many applications in, for example, the automotive industry, health care...
Utvecklande av dataalgoritmer för nätverk för att stärka anpassningsbarhet och robusthet i elnät

Sverige är en av de första länderna som investerat i stor skala i avanceradmätinfrastruktur med tillhörande nätverk, med Göteborg Energi som ett exempel. Införandet av det stora...
Utveckling och anpassning av modern metodik för effektivt lärande av datasäkerhet

Kursen Datasäkerhet (EDA263) är populär med 100-130 studenter varje år. Den utvecklades för den relativt homogena gruppen av D-studenter, men under åren har flera olika program...
WASP - Interaction and Communication with Autonomous Agents in Sensor-Rich Environments

Se engelsk sida för mer information. Samarbetande organisationer Linköpings universitet (Akademisk, Sweden) Lunds universitet (Akademisk, Sweden) Kungliga Tekniska Högskolan (KTH)...
Verifikation av operativsystem - sista fasen

Datorer är närvarande i varje aspekt av våra liv. De finns till exempel i kreditkort, mobiltelefoner, radioapparater, tvättmaskiner, medicinsk utrustning och olika delar av bilar...
Verktyg för snabb analys av globala system med hjälp av språk för funktionell och...

Global systemvetenskap (GSS, Global Systems Science) är ett nytt forskningsområde, sprunget ur globala utmaningar som kräver högnivåmodellering tvärs över flera traditionella...
VGT - Visual GUI Testing

The main objective of this research is to evaluate the applicability and long-term feasibility of Visual GUI Testing (VGT) in industrial practice. VGT is an emerging technique in...
VISEE - Verification of ISO 26262 Software requirements in safety critical EE-systems

The objective of this project is to develop cost-effective ISO 26262 requirements validation through the use of statistical models and optimal defect injection during simulations...
Vision-baserade interaktiva system: Industriell Tillämpning

Se engelsk sida för mer information. Samarbetande organisationer Eidgenössische Technische Hochschule Zürich (ETH) (Akademisk, Switzerland)
Visualisera Timmerhusets energisystem- och flöden: en förstudie

Det övergripande syftet med projektet som är att stärka de gröna näringarna genom att öka kunskapen och intresset för energilösningar med den senaste tekniken inom sol- och vindenergi...
VR Models and Techniques for Energy-Efficient Concurrent Data Access Designs

Se engelsk sida för mer information.

Forskningsprojekt

Avdelning

Pågående/avslutade