filesystem#
Filesystem Library
|
status: draft
safety: ASIL_B
|
||||
Abstract#
The Filesystem Library provides a set of APIs for file and directory manipulation, including creation, deletion, and traversal of the filesystem. It aims to offer a consistent and safe interface for filesystem operations across different platforms.
Motivation and Rationale#
The Filesystem Library is essential for applications that require interaction with the underlying filesystem. It provides a standardized way to perform file operations, ensuring safety and reliability. The library is designed to handle various filesystem tasks while adhering to safety standards required for critical systems.
Specification#
The following details and requirements describe the aspects of the current feature in the context of S-CORE.
General considerations#
The Filesystem Library should provide robust and safe APIs for filesystem operations:
Standard Filesystem Abstrac... (comp_req__filesystem__api_abstraction)
Path Manipulation Utilities (comp_req__filesystem__path_utilities)
Directory Iterators (comp_req__filesystem__directory_iterators)
Fully testable public API (comp_req__filesystem__full_testability)
Mock and Fake Implementations (comp_req__filesystem__mock_fake)
The library should ensure that all filesystem operations are performed safely, with appropriate error handling and resource management to prevent leaks and ensure system stability.