UAVs are becoming ubiquitous due to their high-risk mission acceptance and ultra-long endurance capabilities. However, because a significant subset of UAVs have limited payload capacity and sensor ranges, teams of UAVs are often required to operate cooperatively in executing specific tasks (e.g., time-critical complex surveillance tasks requiring multiple UAVs) to ensure superior mission perfor...

. Current declarative systems (i.e., model-based systems) are limited to a small number of types of states and resources that they can represent (e.g., we cannot model orientation with current systems). Thus, software is usually “hand-crafted” to meet the needs of state validation-estimation-projection for real domains where estimation is not sufficient. To meet this need, we provide an abstrac...

This article presents an experience in software residence, addressing jointly, software product line and version control process. A residency program in software is conceptually similar to the medical residency programs, which aims to train professionals in an area/specific activity. A real scenario was presented to three groups of master's students who had a mission to develop and specify a pr...

Real-time applications require predictable and often low-latency response times when reacting to external events. Realtime operating systems allow applications to meet such timing requirements, but they offer less functionality and fewer APIs than a general-purpose operating system such as Linux. In this work, we present a virtualization layer that enables predictable, lowlatency interrupt hand...

As a discipline, software engineering is not as mature as other engineering disciplines, and it still lacks consensus on a well-recognized set of fundamental principles. A 2006 analysis surveyed and analyzed 308 separate proposals for principles of software engineering, of which only thirty-four met the criteria to be recognized as such. This paper reports on a further analysis of these thirty-...