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...
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...
BADA - On-board Off-board Distributed Data Analytics

In the automotive industry, understanding and mapping of customer needs into functional requirements is usually done using engineering knowledge obtained through subjective...
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,

In this project we investigate the applicability of the stream processing technologies being developed by the Distributed Computing and Systems Research group to datastreaming...
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...
Centre of excellence for Global Systems Science (CoeGSS)

Global Systems Science – GSS – is an emerging research field focused on the risks and opportunities involved in global coordination problems. Examples of global systems include the...
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...
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)

The CRISALIS project aims at providing new means to secure critical infrastructure environments from targeted attacks, carried out by resourceful and motivated individuals. The recent...
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...
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)

In order to reach exascale performance current HPC servers need to be improved. Simple scaling is not a feasible solution due to the increasing utility costs and power consumption...
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

The introduction of the Advanced Metering Infrastructure (AMI) in electricity networks implies the existence of large volumes of data, which, with appropriate processing...
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

Cross-site scripting (XSS) vulnerabilities are among the most prevailing problems on the web. Among the practically deployed countermeasures is the "last line of defense&quot...
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...
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...
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...
Informationsdriven säker Business Intelligence (DataBIN)

Develop scalable system architectures, algorithms, development methods, and working demonstrators for temporal analysis of large data sets harvested from open sources (web, social...
Integrated cyber-physical solutions for intelligent distribution grid with high penetration of...

UNITED-GRID aspires to be the arrow-head within “Integrated cyber-physical solutions for intelligent distribution grid with distributed energy resources” and addresses the challenges...
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)

Due to fundamental limitations of scaling at the atomic scale, coupled with heat density problems of packing an ever increasing number of transistors in a unit area, Moore’s Law has...
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 (Forskningsinstitut, Sweden)
on-Demand System Reliability (DeSyRe)

DeSyRe will perform research on the design of future reliable Systems-on-Chip (SoCs). These are systems that guarantee continuous and correct operation in the existence of different...
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)

To develop a framework for programming and optimizing applications for heterogeneous many-core processors. It will allow applications developers to extract optimal performance with...
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...
Programming Language-Based Security To Rescue (PROSECUTOR)

It is alarming that the societys critical infrastructures are not fully prepared to meet the challenge of information security. Modern computing systems are increasingly extensible...
Property-based testing of Web services (PROWESS)

This project will develop advanced software engineering technologies suitable for the networked, distributed dimension of software and access to services and data (Objective 1.2)...
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...
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...
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...
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...
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)

The SyTeC project aims to improve the development process of safety-critical cyber-physical systems (CPSs)— engineered systems that are built from, and depend upon, the seamless...
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

RICS is a Swedish national research Centre on Resilient Information and Control Systems. The centre is financed by the Swedish Civil Contingencies Agency (MSB) to promote long term...
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

TETRAMAX is a Horizon 2020 innovation action and will provide an implementation of the European Smart Anything Everywhere (SAE) initiative in the domain of customized and low-energy...
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

This project will develop the next generation of decision support systems, so called cognitive companions, designed to adaptively reduce the cognitive load caused by the large and...
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

Main objectives and plan: This proposal is geared towards two complementary goals. Firstly, at a technical level, we aim to improve the usage and added value of real-time tracked data...
VR Models and Techniques for Energy-Efficient Concurrent Data Access Designs

Se engelsk sida för mer information.

Forskningsprojekt

Avdelning

Pågående/avslutade