UNDP’s High-Integrity Carbon Markets Initiative·Aug 5Building Climate Ambition: UNDP’s Carbon Markets Portfolio in ActionAuthors: Leticia Guimaraes
InAn Idea (by Ingenious Piece)byJules Goddard·May 7, 2020Using Locks in Embedded SystemsWe want our multi-processing embedded systems to behave reliably, right? Especially if they are safety-critical or high-integrity.
InAn Idea (by Ingenious Piece)byJules Goddard·Apr 27, 2020Processes and Queues in Embedded SystemsWe want our multi-processing embedded systems to behave reliably, right? Especially if they are safety-critical or high-integrity.
InAn Idea (by Ingenious Piece)byJules Goddard·Apr 24, 2020Safer Discrete Sensor Logic for Embedded SystemsWe want our safety-critical and high-integrity embedded systems to react reliably to discrete sensor inputs.
Jules Goddard·Apr 21, 2020Testing High-Integrity Real-Time SoftwareWe want to know whether our software behaves correctly, right? Especially if it’s high-integrity or safety-critical real-time software.
InAn Idea (by Ingenious Piece)byJules Goddard·Apr 20, 2020Deterministic Real-Time SchedulerThis article summarises a methodology to develop a Deterministic real-time scheduler.
Jules Goddard·Apr 17, 2020Deterministic Asynchronous Software SystemsWe want our Asynchronous Software Systems to be Deterministic right?
Jules Goddard·Apr 16, 2020Deterministic High-Integrity Real-Time Software SystemsLet us start with the premise that companies want their safety-critical real-time software systems to be deterministic.
