The cost of creating new robotics products is significantly related to the complexity of
developing robotic software applications that are flexible enough to easily accommodate …

Applying traditional testing techniques to Cyber-Physical Systems (CPS) is challenging due
to the deep intertwining of software and hardware, and the complex, continuous interactions …

The size and complexity of control software in aerospace systems is rapidly increasing, and
this development complicates its validation within the context of the overall spacecraft …

Stratospheric balloons have emerged as an affordable and flexible alternative to traditional
spacecrafts as they are implemented using commercial off-the-shelf (COTS) equipment …

In this case study, we apply the architecture-based design approach to the control software
of the CubETH satellite. Architectures are a means for ensuring global coordination …

The space domain, as many other sectors, is actively considering novel methods and tools
based on artificial intelligence, digital twins, virtual design and testing, and other Industry 4.0 …

Abstract The Architecture and Analysis Definition Language (AADL) is an industry standard
modeling language distinguished by its emphasis on strong semantics for modeling real …

Embedded system design is a complex process that demands an extensive system level
modeling. Its implementation encompasses software and hardware components and its …

Abstract The Data Distribution Service (DDS) standard defines a data-centric distribution
middleware that supports the development of distributed real-time systems. To this end, the …

Abstract Space robotics technologies are maturing, bringing new capabilities for In-orbit
Services, Manufacturing and Assembly (ISMA). These capabilities will generate on-orbit …