Requirements Engineering in infrastructure projects

In this continuing collaboration with the Swedish Transport Administration (Trafikverket), we have the goal of improving requirements management in large, long lasting infrastructure projects. The research is driven by Dr. Michael Unterkalmsteiner and Prof. Dr. Tony Gorschek (ERSAK and KREDA).

SVAR (2023-2025) investigates means to automate compliance checks (ACC) of digital assets. First, we develop a maturity model to assess Trafikverket’s capabilities to implement ACC. Second, we analyze Trafikverkets regulatory requirements w.r.t. their verifiability. Third, we develop a verification method library, based on the analysis of verifiable requirements.

ERSAK aims at developing and streamlining regulatory frameworks, regulatory requirements and project requirements, through improved specification, analysis, and communication, with the goal of improving both efficiency and effectiveness in projects through improved requirements management.

KREDA develops tools for systematic requirements management and requirements databases, to achieve more efficient requirements management and take advantage of the new opportunities that arise from Trafikverkets work to digitize their business.

DCAT analyses the requirements communication between clients and suppliers in infrastructure projects, evaluates the potential of classification systems for trace link generation, and develops tool support for automatically establishing such trace links between requirements, stated by the client, and digital assets, delivered by the supplier. Project deliverables.

Read more about the project

InScale – Supporting InnerSource Transformation at Scale

The InScale research project, in collaboration with Ericsson AB and IKEA IT AB, aims to support large-scale InnerSource transformations in companies. InnerSource involves applying open source software development principles within a company to enhance collaboration, transparency, and knowledge sharing across different geographies and business units.

Read more about the project

ThreMoLIA – Threat Modeling for LLM-Integrated applications

The project aims to develop a threat modeling methodology for RAG-based LLM-Integrated Applications (LIAs) and a tool powered by a specialized LLM capable of generating and continuously maintaining threat models.

Read more about the project

SESAM – Secure software engineering through Sensible AutoMation

The rising complexity and sophistication of cyber threats necessitate proactive security measures in software development. Traditional methods, which often incorporate security checks late in the Software Development Life Cycle (SDLC), are inadequate due to their high cost and inefficiency. There are several barriers to integrate security measures early in the development—such as supporting developers in understanding and implementing security measures, integrating security into existing workflows, avoid  productivity disruptions. The project will empower developers with tools and practices to seamlessly integrate security.

Read more about the project

Testing with AI Reinforced GUI Embedded Technology (T.A.R.G.E.T.)

Many testing activities in the software industry, including those based on Graphical User Interfaces (GUIs), are still performed manually due to a lack of automation tools and knowledge. This makes testing costly and error-prone, directly impacting the user’s experience and their ability to meet their needs.

Read more about the project

WorkFlex

Working from home (WFH) or telework is something that until COVID-19 has been known only as a voluntary and often exceptional practice in the workplace, and remoters were often looked at with skepticism. However, the individual experience during the forced working from home appeared to be better-than-expected. Coupled with the investments enabling remote work during the pandemic caused many knowledge workers to rethink the return to the offices, and to favor continuing working from home occasionally, mostly or indefinitely. But do we know enough about remote working to make informant decisions?

Read more about the project

PROMIS

Professional Master in Information Security (PROMIS) focuses on information, data and software intensive product and service development security as a field. The field’s criticality for Swedish industrial companies and organizations is central as security concerns as well as data and integrity protection, are prerequisites for the modern connected age.

PROMIS is a joint project between Blekinge Institute of Technology (BTH) and several leading Swedish industrial companies and organizations. The goal is to supply customized, free courses in Information Security for professional engineers and software developers in the industry.

Read more about the project

M.E.T.A

M.E.T.A. – Modelling Efficient Test Architectures
Testing and test automation are crucial parts of modern software development. Many techniques have been developed, including model-based tests (MBT). In MBT, the developer creates a model that represents an abstraction of the system under test’s (SUT) behaviour that can be executed to verify the SUT’s conformance to said model. The technique has been highly studied in academia but is currently still underutilised in practice. Furthermore, the technique is mostly used in embedded and hardware driven domains, such as automotive systems, even though research has presented many benefits with the technique for testing in other domains.

Read more about the project

GIST – Gaining actionable Insights from Software Testing

Read more about the project

SERT

SERT – Software Engineering ReThought is a groundbreaking research project with the aim to take on the next generation challenges facing companies developing software intensive systems and products. We as an engineering lab are blazing the road introducing 3:rd generation empirical software engineering – denoting close co-production of pragmatic problem solving in close collaboration with our industrial partners as we perform engineering research into topics critical for engineering and business success.

SERTs formulation of 3:rd generation empirical software engineering will utilize related knowledge areas as catalysts to solve challenges. Value-based engineering, Data-driven evidence based engineering, and Human-based development will complement software engineering competence in an integrated eco-system of competence focused on the challenges at hand.
All areas in software engineering, ranging from inception, realization to evolution are part of the research venture – reflecting that companies need solutions covering their entire ecosystem.

Read more about the project