@InProceedings{RomeroSchnFerr:2013:ToApAl,
               author = "Romero, Alessandro Gerlinger and Schneider, Klaus and Ferreira, 
                         Maur{\'{\i}}cio Gon{\c{c}}alves Vieira",
          affiliation = "{Instituto Nacional de Pesquisas Espaciais (INPE)} and University 
                         of Kaiserslautern Computer Science Department, Po box 3049, 67653, 
                         Kaiserslautern, Germany and {Instituto Nacional de Pesquisas 
                         Espaciais (INPE)}",
                title = "Towards the Applicability of Alf to Model Cyber-Physical Systems",
            booktitle = "Proceedings...",
                 year = "2013",
                pages = "1427–1434",
         organization = "Federated Conference on Computer Science and Information 
                         Systems.",
             abstract = "Systems engineers use SysML as a vendorindependent language to 
                         model Cyber-Physical Systems. However, SysML does not provide an 
                         executable form to define behavior but this is needed to detect 
                         critical issues as soon as possible. Action Language for 
                         Foundational UML (Alf) integrated with SysML can offer some degree 
                         of precision. In this paper, we present an Alf specialization that 
                         introduces the synchronous-reactive model of computation to SysML, 
                         through definition of not explicitly constrained semantics: 
                         timing, concurrency, and inter-object communication. The proposed 
                         specialization is well-suited for safety-critical systems because 
                         it is deterministic. We study one example already modeled in the 
                         literature, to compare these approaches with our one. The initial 
                         results show that the proposed specialization helps to couple 
                         complexity, provides better composition, and enables deterministic 
                         behavior definition.",
  conference-location = "Krak{\'o}w",
      conference-year = "2013",
                 isbn = "978-1-4673-4471-5",
                label = "lattes: 3237709114127674 1 RomeroSchnFerr:2013:ToApAl",
             language = "en",
        urlaccessdate = "28 jun. 2024"
}