A cost-effective Software Development and Validation environment and approach for LEON based satellite &amp;amp; payload subsystems

Cordero, Federico; Mendes, José Jair Alves; Kuppusamy, Balaji; Dathe, Thomas; Irvine, Michael; Williams, Andy

doi:10.1109/rast.2011.5966889

Cited by 6 publications

(5 citation statements)

References 0 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Space industry heavily relies on this tool to develop software in a faster way and to provide WCET analysis. For instance, the use of a cycle-accurate model of LEON (TSIM) is key to provide a lightweight, scalable, and cost-efficient solution for integration and validation of satellite subsystems and payload equipment containing embedded software [88]. The vendor reports TSIM to reach 60 MIPS on a Intel i7-2600K @3.4GHz PC, which is close to the MIPS reported for the OBC in third column of Table 2 (−13%).…”

Section: Simulation Modelsmentioning

confidence: 51%

Leveraging the Openness and Modularity of RISC-V in Space

Mascio¹,

Menicucci²,

Gill³

et al. 2019

Journal of Aerospace Information Systems

View full text Add to dashboard Cite

This paper proposes a roadmap to address present and future needs in space systems with RISC-V processors. RISC-V is an open and modular instruction set architecture, which is rapidly growing in popularity in terrestrial applications. To satisfy different applications with contrasting requirements in satellite data systems, four different types of processors are identified: 1) low-area/low-power microcontrollers, 2) on-board computers, 3) general-purpose processors for payloads, and 4) enhanced payload processors for artificial intelligence. Several solutions based on RISC-V are proposed for each of these types of processors and compared with proprietary commercial-off-the-shelf and spacegrade solutions. An extensive analysis of the results available from literature is conducted to show that RISC-V has the potential to solve such a wide range of needs. This paper will also show the unprecedented number of open-source implementations and models that were developed in a relative short time on a single instruction set architecture. Future space systems could benefit from many of those developments, and this work identifies and highlights what is still missing to satisfy the specific needs of processors for space, especially in terms of fault tolerance and technology readiness level.

show abstract

Section: Simulation Modelsmentioning

confidence: 51%

Leveraging the Openness and Modularity of RISC-V in Space

Mascio¹,

Menicucci²,

Gill³

et al. 2019

Journal of Aerospace Information Systems

View full text Add to dashboard Cite

show abstract

“…In order to use the SMP standard for a distributed simulation, a central network node is needed that transfers the packets based on the configuration to the corresponding subsystem. In other words, the simulation services will be sent to the switching node, which then takes care of the forwarding [12]. In addition, the switching node has to be changed if the model hierarchy or model links are to be changed.…”

Section: Related Workmentioning

confidence: 99%

A Flexible Distributed Simulation Environment for Cyber-Physical Systems Using ZeroMQ

Ofenloch¹,

Greif²

2018

jcm

View full text Add to dashboard Cite

Physical Systems (CPS) are becoming increasingly complex. Their development and evaluation are carried out by several teams at different sites, while the time and budget is limited. Costly delays can occur, when the interplay of subsystems is to be tested and certain hardware components are not continuously present on site. Before CPS can be put into operation, they must be tested for functionality, reliability and safety. Possible errors must be detected and corrected at an early stage, both in software and hardware. Therefore, simulators are increasingly used in the development, verification and test phase. By replacing parts of the CPS with a simulated variant, hardware and software components can be developed in parallel at different locations by various organizations. The aim of this paper is to present a distributed event-based simulation environment for CPS that is reusable across various organizations and easily expandable. The simulation is carried out with software models, which simulate the functional behavior of the CPS to be tested. Simulation models or interface adapters for hardware components can be developed using defined software interfaces, regardless of the chosen platform or programming language. They can be integrated into the simulation environment with minimal effort and executed on distributed computer systems, while the communication takes place via ZeroMQ. The simulation environment is particularly suitable for systems that require low latency to guarantee real-time performance.

show abstract

“…In previous work applying model based verification and validation for software configuration Cordero et al [15] built a software development environment that uses to support the development and verification of on-board software for spacecraft. Tanizaki et al [16] use a SAT solver approach to model and check the consistency of configuration files and discover syntactic and semantic errors.…”

Section: Related Workmentioning

confidence: 99%

Model Based Verification of Cyber Range Event Environments

Damodaran

Tidmarsh

2016

Modeling and Simulation of Complexity in Intelligent, Adaptive and Autonomous Systems 2016 (MSCIAAS 2016) and Space Simulation

View full text Add to dashboard Cite

We apply model based verification to cyber range event environment configurations, allowing for the early detection of errors in event environment configurations, and a reduction in the time and resources used during deployment. We categorize misconfiguration errors detected using the Common Cyber Environment Representation (CCER) ontology. We also provide an overview of a methodology to specify verification rules and the corresponding error messages. These rules have successfully detected errors in the designs of several cyber range event environments, thereby reducing cost and time to deployment.

show abstract

A cost-effective Software Development and Validation environment and approach for LEON based satellite & payload subsystems

Cited by 6 publications

References 0 publications

Leveraging the Openness and Modularity of RISC-V in Space

Leveraging the Openness and Modularity of RISC-V in Space

A Flexible Distributed Simulation Environment for Cyber-Physical Systems Using ZeroMQ

Model Based Verification of Cyber Range Event Environments

Contact Info

Product

Resources

About