This paper reports on a project to exercise, evaluate and enhance a methodology for developing high assurance software for an embedded system controller. In this approach, researchers at the National Security Agency capture system requirements precisely and unambiguously through functional specifications in Z. Rockwell Collins then implements these requirements using an integrated, model-based software development approach. The development effort is supported by a tool chain that provides automated code generation and support for formal verification. The specific system is a prototype high speed encryption system, although the controller could be adapted for use in a variety of critical systems in which very high assurance of correctness, reliability, and security or safety properties is essential.

No abstract

No abstract

CrowdRE has been argued to comprise four main activities: motivating crowd members; eliciting feedback; analysing feedback and monitoring context and usage data. However, determining requirements within a software ecosystem poses demands beyond those found by a single product owner. In this paper, we describe open challenges for CrowdRE in handling the many, competing and heterogeneous sources of RE data in a software ecosystem. We illustrate the case of Xero ecosystem-a global accounting software company-as an ecosystem platform provider and Figured-a developer of a farming industry application and one of Xero's partner apps.

No abstract