News
 
  News
   
  Upcoming Events
  2017 May 9-11
  Critical Infrastructure Protection & Resilience Europe -- CIPRE, The Hague, Netherlands
   
  2017 March 15
  Aero Montreal "Closing the Gap", Montreal QB, Canada
   
  Past Events
  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, will be presented 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