Software defined process networks

Autor: Sputh, Bernhard Herbert Carl

In this thesis I present my work in the field of SDR (Software Defined Radio) and concurrent systems. This work is part of the hybrid SDR Platform project, which distributes the signal processing between the Central Processing Unit of the PC (Persona

Externí odkaz: http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.445185

Systems engineering principles for the design of biomedical signal processing systems

Autor: Faust, Oliver, Acharya U, Rajendra, Sputh, Bernhard H.C., Min, Lim Choo

Publikováno v: In Computer Methods and Programs in Biomedicine 2011 102(3):267-276

Hubs for VirtuosoNext: Online verification of real-time coordinators

Autor: Cledou, Guillermina, Proença, José, Sputh, Bernhard H.C., Verhulst, Eric

Publikováno v: In Science of Computer Programming 1 March 2021 203

Verification of Real-Time Coordination in VirtuosoNext (extended version)

Autor: Cledou, Guillermina, Proença, José, Sputh, Bernhard H.C., Verhulst, Eric

VirtuosoNextTM is a distributed real-time operating system (RTOS) featuring a generic programming model dubbed Interacting Entities. This paper focuses on these interactions, implemented as so-called Hubs. Hubs act as synchronisation and communicatio

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::103b3ad69e40b5d54f72aaae4dba8e39

ARRL: A Criterion for Composable Safety and Systems Engineering

Autor: Verhulst, Eric, Jose Luis, De La Vara, Sputh, Bernhard H.C., Vincenzo, De Florio

Publikováno v: Proceedings of Workshop SASSUR (Next Generation of System Assurance Approaches for Safety-Critical Systems) of the 32nd International Conference on Computer Safety, Reliability and Security
SAFECOMP 2013-Workshop SASSUR (Next Generation of System Assurance Approaches for Safety-Critical Systems) of the 32nd International Conference on Computer Safety, Reliability and Security
SAFECOMP 2013-Workshop SASSUR (Next Generation of System Assurance Approaches for Safety-Critical Systems) of the 32nd International Conference on Computer Safety, Reliability and Security, Sep 2013, Toulouse, France. pp.NA

International audience; While safety engineering standards define rigorous and controllable processes for system development, safety standards' differences in distinct domains are non-negligible. This paper focuses in particular on the aviation, auto

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::c3401417dea0f645162c1590706c467e
https://hal.archives-ouvertes.fr/hal-00848521/document