Auto-Coding UML Statecharts for Flight Software

Benowitz, Ed; Clark, Kenneth P.; Watney, Garth

doi:10.1109/smc-it.2006.19

Cited by 18 publications

(10 citation statements)

References 8 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…However, experience reports such as [3], [6], [29], and [33] do show a trend towards the increasing application of MBE techniques in this domain. Most success, though, still tends to be realized in small-scale, highly focused, and domain specific modeling activities.…”

Section: Related Workmentioning

confidence: 99%

On the Needs and Challenges of Model-Based Engineering for Spaceflight Software Systems

Pettit

Mezcciani

Fant

2014

2014 IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing

View full text Add to dashboard Cite

Spaceflight software continues to experience exponential growth as functionality migrates from hardware to software. The resulting complexity of these mission critical systems demands new approaches to software systems engineering in order to effectively manage the development efforts and ensure that reliability is not compromised. Model-based systems /software engineering (MBE) approaches present attractive solutions to address the size and complexity through abstraction and analytical models. However, there are many challenges that must be addressed before MBE approaches can be effectively adopted on a large scale across an entire system. In this paper, we discuss some of the key motivators and challenges based on our experiences with flight software programs employing elements of MBE.

show abstract

Section: Related Workmentioning

confidence: 99%

On the Needs and Challenges of Model-Based Engineering for Spaceflight Software Systems

Pettit

Mezcciani

Fant

2014

2014 IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing

View full text Add to dashboard Cite

show abstract

“…The flight software technology research team followed the JPL's design rules and guidelines, by iteratively and incrementally growing in size and complexity, and by periodically reviewing by peers and experts. This team used the Autocoder [4] to automatically generate flight code form the statechart model.…”

Section: Model-based Designmentioning

confidence: 99%

“…In contrast to general purpose commercial off-the-shelf autocoders, the JPL Autocoder [4] was developed specifically to generate NASA mission flight software, with an emphasis on compliance to flight project standards. In addition, this home-grown Autocoder reads statechart XML files and generates a variety of outputs shown in Figure 2.…”

Section: Automatic Code Generationmentioning

confidence: 99%

Software Assurance for Model-Based Design

Watney

Benowitz

2008

2008 IEEE Aerospace Conference

View full text Add to dashboard Cite

Within"12 JPL and NASA, the emergence of model-based design will reformulate the design process. Simultaneously, the mission-critical role of software is increasing. Thus, the nature of software assurance must change accordingly. This paper examines the experience of using model-based design in the context of development of mission flight software and also covers how software assurance practices are being adapted to work with this approach. In the model-based development paradigm, novelty stems from the fact that many of the artifacts are in machine manipulable representations, not simply paragraphs of textual descriptions or drawings intended purely for human viewing. Furthermore, using tools that support the model-based paradigm allows automatic code generation to be employed, yielding significant portions of machine-generated source code as significant parts of the development efforts.

show abstract

“…In particular, generating code from state machine diagrams constitutes one of the most challenging tasks due to their dynamic nature and because many of the state machine specification concepts are not directly supported by the object-oriented programming languages [6][7][8][9][10][11] (such as events [8], states [8,7], history pseudostates [8], or fork pseudostates [7]). Therefore, it is not surprising that there are a wide number of proposals in the literature devoted to studying the implementation of state machine specifications in different programming languages in a wide variety of application contexts such as distributed control systems [12], decentralization of production control systems [13,14], e-voting systems [15][16][17], or even NASA space missions [18][19][20]. This number could grow in the foreseeable future because, if the Model-Driven Development (MDD) approach [1,2] overcomes its challenges [21], it will likely be increasingly applied to the development of software systems.…”

Section: Introductionmentioning

confidence: 99%