Skip to content

A Critical Task Analysis Method and Extension to the Systems Modeling Language

Aug 2026 · Systems Engineering · 0 citations · 13 references

TL;DR

A SysML extension and modeling method to support critical task analysis for user interface design of safety‐critical systems and to include human task modeling to support simulation during mission engineering is defined.

Abstract

The United States Department of War and industry are rapidly adopting digital engineering and Model‐Based Systems Engineering to facilitate system design and acquisition using languages such as the Sys tems M odeling L anguage (SysML). These tools support the design of increasingly complex systems as they maintain system requirements, analysis, and system specification within a common toolset. The models provide a single source of truth to be shared across the design team, ideally improving knowledge sharing. Unfortunately, representation of human interaction with these tools has been limited. The current research defined a SysML extension and modeling method to support critical task analysis for user interface design of safety‐critical systems. This language extension and method capture the required elements for critical task analysis as required in United States Department of War documentation, include associated information elements for each task, and provide a method to simulate the performance of these critical tasks to estimate the criticality of each information element to the user within a specific mission. The model provides a method to understand the information requirements during user interface design, as well as to include human task modeling to support simulation during mission engineering.

View source

Similar papers

Open access 2026

A SysML v2 Metamodel for -Ilities: Application to a Digital Twin Complex System

This article focuses on using SysML v2 to model reusable parameterized templates for nonfunctional requirements, referred to as -ilities, to address how they can be treated with the same rigor as functional requirements and mapped directly and explicitly from the requirements engineering phase within digital engineerin...

Pacifique Munezero, Holly A. H. Handley · 0 citations
Conference Open access Aug 2026

Automated Generation of SysML Activity Diagrams from Industrial Requirements Using LLMs

Evaluated on real-world system-level requirements documents, comprising more than 720 requirements and 72 use cases, the approach generates system-level diagrams comparable to those created by experts and provides valuable architectural recommendations.

Bastian Franze, Dominik Fuchß, Friedrich Wattenberg et al. · 0 citations
Conference Aug 2026

Evaluating Template- and Model-Guided LLMs for Requirements Specification

Requirements specification is a pivotal activity in software development. The use of structured templates for specifying requirements can improve their clarity, consistency, and analyzability, which is particularly important in safety-critical domains such as avionics to support verification and certification activitie...

Ikram Darif, Zainab Benlagote, Ghizlane El Boussaidi · 1 citation
Open access Sep 2026

Using user specifications to produce system models following the MDD paradigm

An MDD based approach to develop systems with users to reduce the complexity of ultragraph creation by applying the MDD specifications, especially automation will improve the development process with respect to efficiency and quality.

Murtadha N. Rasol · 0 citations
Review Open access Aug 2026

Large Language Models for Software Architecture Design Support in Self-Adaptive Systems: Early Insights from an Exploratory Systematic Review

An initial characterization of LLM-supported design in self-adaptive systems in SASS is contributed, research directions are outlined, and discussion within the community on advancing LLM-supported architectural design for self-adaptive and autonomous software systems is stimulated.

Nadeem Abbas, Nazia Shahzadi · 0 citations
2026

Utilizing system models for early prototype configurations in engineering complex technical systems

Early assurance of properties in complex technical systems can reduce engineering effort and even entire iterations. However, verification and validation face challenges caused by interdisciplinary dependencies and late availability of prototypes. Although Model-Based Systems Engineering offers formal system models for...

I. Graessler, Marcel Ebel · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.