News
 
News
2019 May 27
FormaliSE! 2019, Montreal Canada
CSL (Jeff Joyce) will present the keynote address "The Benefits of (having doubts about) Formal Methods"
FormaliSE! 2019 is co-located wtih ICSE 2019, the 41st ACM/IEEE International Conference on Software Engineering
 
2019 Sep 10
FT4DAS 2019, Turku, Finland
1st international Workshop on Formal Techniques for Dependable Autonomous Systems (co-located with SAFECOMP 2019 - Sep 10-13)
 
Past Events
 2018 December 14
WorkSafeBC Offices, Richmond, BC, Canada
CSL (Jeff Joyce) will be presenting two tutorials on Alarm Management to the Human Factors Community of Practice
 
2018 September 23-27
DASC 2018, London, UK
CSL (Jeff Joyce) will be presenting a tutorial on "Introduction to Formal Methods using RTCA DO 178C" on Monday, Sep 24.
 
2018 August 20-24
26th IEEE International Requirements Engineering Conference, Banff, AB, Canada
CSL (Laure Millet) will be presenting a paper on the Feature Interaction problem
 
2018 June 6-7
Conference Board of Canada: Automated Vehicles 2018: Planning for Urban and Rural Transitions, Edmonton, Canada
Jeff Joyce from CSL will be on the panel discussing:  A Code of Ethics for Autonomous Vehicles
 
2018 May 10-11
2018 Cyber Summit, Ottawa, Canada
CSL (Jeff Joyce) will be presenting "Rethinking the Impact of Cyber Security Threats on Air Navigation"
 
2018 April 23-26
12th Annual IEEE Systems Conference, Vancouver, Canada
CSL will be presenting two tutorials:
Mon Apr 23: Security-Informed System Safety Engineering
Mon Apr 23: ISO 26262 - Functional Safety for ADAS and Autonomous Vehicles
 
2017 September 18
CSL joins ACAMP Autonomous Systems Consortium
 
2017 September 12-15
SafeComp 2017, Trento, Italy
 
2017 May 9-11
Critical Infrastructure Protection & Resilience Europe -- CIPRE, The Hague, Netherlands
 
2017 March 15
Aero Montreal "Closing the Gap", Montreal QB, Canada
 
2017 February 7
Cyber Forum 613, Ottawa, ON Canada
Cybersecurity in Defence Procurement Forum organised by Invest Ottawa, the Federal Economic Development Agency for Southern Ontario (FedDev Ontario), the Ontario Ministry of Economic Development and Growth (MEDG) and The Capital Hill Group.
 
2016 October 17-21
NERC GridSecCon2016, Quebec City, QB Canada
NERC's 5th annual Grid Security Conference - addresses cyber security and physical security of the electricity sub-sector
 
2016 September 27-30
SAE 2016 Aerospace Systems and Technology Conference (ASTC), Hartford, CT USA
CSL will be presenting a paper, written in collaboration with Pratt  & Whitney, on Thursday, Sep 29 : Practical Uses of Formal Methods in Development of Airborne Software
 
2016 September 25-29
35th Digital Avionics Systems Conference (DASC), Sacramento, CA, USA
CSL will be presenting two tutorials on Monday, Sep 26: MM2 - Aircraft Systems, Safety and Cyber-security: DO 326A guidance; and ML2 - Formal Methods in RTCA DO 178C
 
2016 April 25-26
Aerospace Innovation Forum 2016, Montreal, Canada
CSL has been invited to be a panelist in the Meeting the Challenges of Cybersecurity to Ensure Safety of Aircraft and Embedded Systems workshop on Monday April 25, 3:30-5pm. (See program, pg 9)
 
2016 March 16-17
4th Scandinavian Conference on System and Software Safety
CSL contributed to the presentation, Benefits of Security-informed Safety-oriented Process Line Engineering
 
2015 November 3-5
2015 Unmanned Systems Canada Conference, Halifax, NS Canada
 
2015 August 21-29
33rd International Systems Safety Conference, San Diego, CA, USA
 
2015 September 13-15
34th Digital Avionics Systems Conference, Prague, Czech Republic
 
2014 November 4-6
2014 Unmanned Systems Canada Conference, Montreal, QC, Canada
 
2014 October 5-9
33rd Digital Avionics Systems Conference, Colorado Springs, CO, USA
CSL presented two tutorials on Mon Oct 6:  ML1: Aircraft Systems, Safety and Cyber-Security: RTCA DO-326A Guidance and
MA4: Formal Methods in RTCA DO-178C
 
2014 September 10
CERN A&T Seminar, Geneva, Switzerland
Jeff Joyce, CSL President, gave a presentation on Systems of Systems (SoS) Strategies for the LHC at CERN
 
2014 September 8-12
SafeComp 2014, Florence, Italy
Jeff Joyce, CSL President, has been invited to give a presentation on Integration of Security and Air-worthiness in the Context of Certification and Standardization, and participate as a panelist in the discussion Safety and Security: Convergence or Concurrency? at the SafeComp workshop on the Integration of Safety and Security Engineering (ISSE 14).
 
2014 August 4-8
International System Safety Training Symposium 2014, St Louis, MO, USA
 
2014 June 9-13
RTCA SC-216 Aeronautical Systems Security Committee meeting, Washington, DC, USA
 
2014 May 28-29
Cansec, Ottawa, ON, Canada
 
2014 April 16-17
Western Innovation Forum, Vancouver, BC, Canada
 
2014 February 12
APEGBC Seminar, Vancouver, BC, Canada
CSL presented: Principles of Alarm Management for Complex Systems
 
2013 December 9-10
Formal Methods Standards Workshop, Cambridge, UK
CSL co-organized this third workshop with Dr Mike Gordon at the University of Cambridge on the use of specialized methods for verification in the certification of complex software-intensive systems.
 
2013 November 12-15
2013 Unmanned Systems Canada Conference in Vancouver, BC, Canada
 
2013 October 6-10
32nd Digital Avionics Systems Conference, Syracuse, NY, USA
CSL presented two tutorials: Formal Methods in RTCA DO 178C and Insights into the Airworthiness Safety Process
 
2013 August 12-16
31st International Systems Safety Conference, Boston, MA, USA
CSL presented two tutorials: ISO 26262 Style Risk Assessment, and Application of System Safety Methods to Systems of Systems, co-presented with Dr Rami Debouk of General Motors (USA) and Dr Antonio Vergara of ITER (France)
 
2013 May 29-30
CANSEC Trade Show, Ottawa, ON, Canada
 
2013 May 19
Assure 2013
The 1st International Workshop on Assurance Cases for Software-intensive Systems, San Francisco, CA, USA, in conjunction with ICSE 2013
CSL co-presented: Creating Safety Assurance Cases for Rebreather Systems with Dr Alma Juarez Dominguez (U Waterloo) and Bruce Partridge (Shearwater Research Inc.)
 
2013 April 22-26
RTCA SC-216 Aeronautical Systems Security Committee meeting, Washington, DC, USA
CSL is one of the companies represented in SC-216 and the CSL CTO is a member of the DO-326A editorial committee for the development of the revision to standard DO-326: Airworthiness Security Process Certification
 
2013 February 14
Safety and Reliability for Complex Systems of Sytems
Presented to CSL by Dr Sigrid Warner (CERN)
 
2012 November 26-30
RTCA SC-216 Aeronautical Systems Security Committee meeting, Washington, DC, USA
CSL attended the meeting and contributed to the development of the revision to standard DO-326: Airworthiness Security Process Specification
 
2012 August 6-10
30th International System Safety Conference, Atlanta, GA, USA
 
2011 December 5-6
Workshop: Theorem Proving in Certification
CSL co-organized this second workshop with Dr Mike Gordon at Cambridge University, UK
 
2011 October 16-20
30th Digital Avionics Systems Conference, Seattle, WA, USA
CSL presented two tutorials:  Applying Formal Methods to Airborne Software, and Formal Methods in RTCA DO 178C
 
2011 October 5
LifeSciencesBC seminar, Vancouver, BC, Canada
CSL presented: Safety Critical Software in Medical Devices
 
2011 September 29
VanQ seminar, Burnaby, BC, Canada
CSL presented: Formal Verification of Real-Time Data Processing of the LHC Beam Loss Monitoring System
 
2011 September 2
Critical Systems Labs (UK) Ltd
We are pleased to announce that we have opened a subsidiary in the UK. Critical Systems Labs (UK) Ltd was incorporated in September 2011. CSL (UK) Ltd looks forward to continuing our relationships with European clients.
 
2011 August 29 - September 2
16th International Workshop on Formal Methods for Industrial Critical Systems, Trento, Italy
CSL presented: Formal Verification of Real-Time Data Processing of the LHC Beam Loss Monitoring System: A Case Study
 
2011 July 11-15
SAE S-18, Aircraft and System Development and Safety Assessment Committee, Montreal, QC, Canada
 
2011 May 1-6
High Confidence Software and Systems 11th Annual Conference, Annapolis, MD, USA
CSL presented: Proposed Formal Methods Supplement for RTCA DO 178C and Objective vs Prescriptive Standards for Certification of Software Intensive Systems
 
2011 May 25-27
Australian System Safety Conference 2011, Melbourne, Australia
Jeff Joyce, CSL President, was invited to present a keynote address: Safety Implications of Emerging Technology
 
2010 December 4-8
Workshop: Theorem Proving in Certification
CSL co-organized this workshop with Dr Mike Gordon at Cambridge University, UK
 
2010 October 3-7
29th Digital Avionics Systems Conference in Salt Lake City, UT, USA
CSL presented two tutorials: Applying Formal Methods to Airborne Software, and Formal Methods in RTCA DO 178C
 
2010 August 30- September 3
28th International System Safety Conference
CSL co-authored a paper with GM that won a Best Paper award: ISO 26262 Hazard and Risk Assessment Methodology
 
2009 April 20-23
CSL president Jeffrey Joyce co-authored, with Rami Debouk, Barbara Czerny and Joseph DAmbrosio from General Motors Corp, the paper Safety Analysis of Software-Intensive Motion Control Systems
This paper was presented at the SAE 2009 World Congress & Exhibition in Detroit, MI, USA
See SAE website for more information.
 
2009 February 19
The AutoLITT technology (MRI guided laser therapy of brain tumors) developed by a client of CSL, Monteris Medical Inc., was part of a feature on ABC World News Tonight with Charles Gibson on Thursday, February 19, 2009. 
See video clip of the news here