Verification-Cases: Characterizing the Completeness Degree of Incomplete Verification for C Programs Towards Using Formal Verification for Low Criticality Functions Daniel Ratiu Vincent Nimal

Source URL: mbeddr.com

• Software engineering
• Theoretical computer science
• Formal methods
• Systems engineering
• Software
• Logic in computer science
• Software testing
• Formal verification
• Functional verification
• Verification and validation
• Verification
• Model checking

22 JULYOBSERVATORY SYSTEMS EVENT LOG This document is intended to alert the CFHT science community to potentially important events at the observatory that could have a direct impact on science data and instrument

Source URL: www.cfht.hawaii.edu

• Physics
• Radioactivity
• Nuclear physics
• Criticality
• Nuclear chemistry
• Nuclear technology
• CanadaFranceHawaii Telescope
• Control theory
• Nature
• Science

AFRL’s Mixed Criticality Architecture Requirements (MCAR) Working Group Meeting and the

Source URL: www.ee.washington.edu

Three minutes about Mixed-criticality management in ARTEMIS ECRTS'15

Source URL: www.control.lth.se

• ESIEE
• Avionics Full-Duplex Switched Ethernet
• Artemis

Commentary on ”Consciousness as a phenomenon in the operational architectonics of brain organization: Criticality and self-organization considerations” by Adrew A. Fingelkurts, Alexander A. Fingelkurts, and Carlos F.

Source URL: www.mind-consciousness-language.com

• Cognitive science
• Physics
• Neuroscience
• Quantum information science
• Neuropsychology
• Quantum mechanics
• Quantum entanglement
• Self-organization
• Consciousness
• Reality

Signatures of criticality arise in simple neural population models with correlations Marcel Nonnenmacher1,2,3* , Christian Behrens3,4 , Philipp Berens3,4,5,6 , Matthias Bethge2,3,4 , Jakob H. Macke1,2,3* 1 research cente

Source URL: www.mackelab.org

• Computational neuroscience
• Physics
• Statistics
• Neuroscience
• Nervous system
• Probability distributions
• Neural networks
• Computational statistics
• Neural coding
• Ising model
• Biological neuron model
• Correlation and dependence

DevOps Meets Formal Modelling in High-Criticality Complex Systems Marta Olszewska Marina Waldén

Source URL: tusiek.unforgiven.pl

• Software development
• Software engineering
• Software development process
• Agile software development
• Project management
• Formal methods
• Software project management
• DevOps
• Scrum
• Agile management
• Requirement
• Formal specification

Dissemination Materials Deliverable 8.5 Project acronym : MultiPARTES Grant Agreement Number: Version:

Source URL: 138.4.11.199

• Systems engineering
• Project management
• Mixed criticality
• Safety engineering
• Software engineering
• Deliverable
• Software
• Hyper-V
• Embedded system
• Systems theory
• Computing

Microsoft Word - Paper - GVSETS 10 - FH-Decomp Captures FMs into FMEA in Half the Timedoc

Source URL: www.ndia-mich.org

• Reliability engineering
• Systems engineering
• Engineering
• Maintenance
• Failure
• Survival analysis
• Design for X
• Failure mode and effects analysis
• Failure mode
• effects
• and criticality analysis
• Exhaust system
• Exhaust brake
• Muffler

Road to certification in multicore partitioned mixed criticality systems (Experience from MultiPARTES, DREAMS and PROXIMA FP7) Dr. Jon Perez Dr. Alfons Crespo November 04th, 2014. Berlin. AUTOSAR Working Group

Source URL: 138.4.11.199

• Safety
• Systems engineering
• Mixed criticality
• Software engineering
• IEC 61508