Now showing items 1-4 of 4

    • Architecting systems of systems: A tertiary study 

      Cadavid, Héctor; Andrikopoulos, Vasilios; Avgeriou, Paris (Elsevier, 2020)
      Context: The term System of Systems (SoS) has increasingly been used in a wide variety of domains to describe those systems composed of independent constituent systems that collaborate towards a mission that they could not ...
    • A Formal Interactive Verification Environment for the Plan Execution Interchange Language 

      Rocha, Camilo; Cadavid, Héctor; Siminiceanu, Radu (© 2020 Springer Nature Switzerland AG.Springer, Berlin, Heidelberg., 2012)
      The Plan Execution Interchange Language (PLEXIL) is an open source synchronous language developed by NASA for commanding and monitoring autonomous systems. This paper reports the development of the PLEXIL’s Formal Interactive ...
    • Reliable Control Architecture with PLEXIL and ROS for Autonomous Wheeled Robots 

      Cadavid, Héctor; Pérez, Alexander; Rocha, Camilo (Springer NatureSuiza, 2017)
      Today’s autonomous robots are being used for complex tasks, including space exploration, military applications, and precision agriculture. As the complexity of control architectures increases, reliability of autonomous ...
    • A Survey on the Interplay between Software Engineering and Systems Engineering during SoS Architecting 

      Cadavid, Héctor; Andrikopoulos, Vasilios; Avgeriou, Paris; Klein, John (The ACM Digital Library is published by the Association for Computing MachineryBari, Italy., 2020)
      Background: The Systems Engineering and Software Engineering disciplines are highly intertwined in most modern Systems of Systems (SoS), and particularly so in industries such as defense, transportation, energy and health ...