NixosTegraX1/SRS

The document provides a template of the Software Requirements Specification (SRS). It is inspired of the IEEE/ANSI 830-1998 Standard.

Read first:

• http://www.cs.st-andrews.ac.uk/~ifs/Books/SE9/Presentations/PPTX/Ch4.pptx
• http://en.wikipedia.org/wiki/Software_requirements_specification
• IEEE Recommended Practice for Software Requirements Specifications IEEE Std 830-1998

Document History

	Version	Date	Authors	Description	Validator	Validation Date
	0.1.0	TBC	TBC	TBC	TBC	TBC

1. Introduction

1.2 Scope of the product

This project aims to port NixOS to an ARM architecture and more specifically to integrate it on a Nvidia TegraX1 card.

1.3 Definitions, acronyms and abbreviations

Docker: Package: Package manager:

2. General description

2.1 Product perspective

This project consists of porting NixOS to a new architecture meaning we mainly need to work on the assembly code below the OS abstraction layer.

2.2 Product functions

At the end, we should be able to boot NixOS on a TegraX1 card.

2.3 User characteristics

The user should be able to easily install the OS on his system.

2.5 Assumptions and dependencies

The user needs a system embedding an ARM 64bits CPU.

3.Specific requirements, covering functional, non-functional and interface requirements

• document external interfaces,
• describe system functionality and performance
• specify logical database requirements,
• design constraints,
• emergent system properties and quality characteristics.

3.1 Requirement X.Y.Z (in Structured Natural Language)

Function:

Description:

Inputs:

Source:

Outputs:

Destination:

Action:

• Natural language sentences (with MUST, MAY, SHALL)
• Graphical Notations : UML Sequence w/o collaboration diagrams, Process maps, Task Analysis (HTA, CTT)
• Mathematical Notations
• Tabular notations for several (condition --> action) tuples

Non functional requirements:

Pre-condition:

Post-condition:

Side-effects: