CIS 890: Safety-Critical Systems
|
|
- Osborn Bernard O’Brien’
- 5 years ago
- Views:
Transcription
1 CIS 890: Safety-Critical Systems Fall 2007 Lecture 1: Application Areas and SPARK Demo Copyright 2007, John Hatcliff. The syllabus and all lectures for this course are copyrighted materials and may not be used in other course settings outside of Kansas State University in their current form or modified form without the express written permission of one of the copyright holders. During this course, students are prohibited from selling notes to or being paid for taking notes by any person or commercial firm without the express written permission of one of the copyright holders.
2 Course Goals Goals for each student Become competent in the use of SPARK for end to end specification, implementation, and verification of embedded systems Develop end-to-end one medium-sized safety-critical system Learn issues involved in developing certified systems CIS Applications and SPARK Demo 2
3 Application Area Rockwell Collins -- Security Certification (NSA) Rockwell Collins Advanced Technology Center engineers are industry leaders in security certification Multiple successes in certification of real-time operating systems for several leading vendors Multiple contracts from NSA We are funded to supply expertise and tools related to static analysis formalization of compositional information flow specifications We will build public (nonproprietary) versions of the types of systems being developed at Rockwell Collins CIS Applications and SPARK Demo 3
4 Application Area Pace Maker Component Our project will start from the actual specification of a previous generation pacemaker from Boston Scientific Part of a challenge problem within the formal methods community Two aspects Programming / monitoring interface and Embedded code To be programmed in SPARK, following the SPARK INFORMED methodology CIS Applications and SPARK Demo 4
5 Application Area FDA Plug-and-Play Framework Specification and verification of Plugand-Play medical devices using Kiasan (Java, JML) Provided with prototype PnP infrastructure developed by FDA We will help write high level requirements and interface specifications, and check these against the provided implementation Will also specify and checking security properties via our information flow tools Resulting artifacts will be released as an open-source testbed for industry and academic researchers working on PnP medical devices Joint work with engineers at FDA TACTRC Operating Room of The Future (completely reconfigurable PnP environment) Prototype PnP Ultrasound CIS Applications and SPARK Demo 5
6 Implementation Level Specification Implementation level specification & checking plays an important role in developing high-assurance systems Simple pre-condition with existential quantification function FindSought (A: Table; Sought: Integer) return Index; --# pre for some M in Index => ( A(M) = Sought ); --# return Z => (( A(Z) = Sought) and --# (for all M in Index range 1.. (Z - 1) => --# (A(M) /= Sought))); Post-condition constraining return value to inputs using universal quantification SPARK Examiner with Run-time Checker, p. 22 CIS Applications and SPARK Demo 6
7 Implementation Level Specification Implementation level specification & checking plays an important role in developing high-assurance systems procedure Operate; --# global out KeyStore.RotorValue,Encrypted; --# in out KeyStore.SymmetricKey; --# in Clear; --# derives --# KeyStore.SymmetricKey, KeyStore.RotorValue --# from --# KeyStore.SymmetricKey --# & --# Encrypted --# from --# Clear, KeyStore.SymmetricKey --# ; Spark information flow annotations Information flows from Clear, KeyStore.SymmetricKey to Encrypted Enforcing Security and Safety Models with an Information Flow Analysis Tool CIS Applications and SPARK Demo 7
8 Demo CIS Applications and SPARK Demo 8
CIS 771: Software Specifications. Lecture: Alloy Whirlwind Tour (part A)
CIS 771: Software Specifications Lecture: Alloy Whirlwind Tour (part A) Copyright 2007, John Hatcliff, and Robby. The syllabus and all lectures for this course are copyrighted materials and may not be
More informationCIS 890: Safety Critical Systems
CIS 890: Safety Critical Systems Lecture: SPARK Contract Checking with Bakar Kiasan Copyright 2011, John Hatcliff. The syllabus and all lectures for this course are copyrighted materials and may not be
More informationCIS 890: Safety Critical Systems
CIS 890: Safety Critical Systems Lecture: SPARK -- Analysis Tools Copyright 2007, John Hatcliff. The syllabus and all lectures for this course are copyrighted materials and may not be used in other course
More informationCIS 771: Software Specifications. Lecture: Alloy Logic (part D)
CIS 771: Software Specifications Lecture: Alloy Logic (part D) Copyright 2007, John Hatcliff, and Robby. The syllabus and all lectures for this course are copyrighted materials and may not be used in other
More informationSoftware Model Checking: Theory and Practice
Software Model Checking: Theory and Practice Lecture: Specification Checking - Foundations Copyright 2004, Matt Dwyer, John Hatcliff, and Robby. The syllabus and all lectures for this course are copyrighted
More informationCIS 890: High-Assurance Systems
CIS 890: High-Assurance Systems Hazard Analysis Lecture: Error Modeling Annex Version 2 - Introduction Copyright 2016, John Hatcliff, Hariharan Thiagarajan. The syllabus and all lectures for this course
More information22c:181 / 55:181 Formal Methods in Software Engineering
22c:181 / 55:181 Formal Methods in Software Engineering Design by Contract Copyright 2001-11, Matt Dwyer, John Hatcliff, Rod Howell, and Cesare Tinelli. Produced by Cesare Tinelli at the University of
More informationCIS 771: Software Specifications
CIS 771: Software Specifications Lecture 11: Introduction to OCL & USE Copyright 2001-2002, Matt Dwyer, John Hatcliff, and Rod Howell. The syllabus and all lectures for this course are copyrighted materials
More informationCIS 890: Safety Critical Systems
CIS 890: Safety Critical Systems Lecture: Requirements Introduction Copyright 2011, John Hatcliff. The syllabus and all lectures for this course are copyrighted materials and may not be used in other course
More informationSoftware Model Checking: Theory and Practice
Software Model Checking: Theory and Practice Lecture: Specification Checking - Specification Patterns Copyright 2004, Matt Dwyer, John Hatcliff, and Robby. The syllabus and all lectures for this course
More informationCertificate Software Asset Management Essentials Syllabus. Version 2.0
Certificate Software Asset Management Essentials Syllabus Version 2.0 June 2010 Certificate in Software Asset Management Essentials Leaning Objectives Holders of the ISEB Certificate in SAM Essentials
More informationThe University of Iowa. 22c181: Formal Methods in Software Engineering. Spring Course Overview
The University of Iowa 22c181: Formal Methods in Software Engineering Spring 2011 Course Overview Copyright 2010-11 Cesare Tinelli. These notes are copyrighted materials and may not be used in other course
More informationSpecifying and Certifying Information Flow Properties in MILS Systems
Specifying and Certifying Information Flow Properties in MILS Systems SAnToS Laboratory Computing and Information Sciences Kansas State University John Hatcliff, Professor Torben Amtoft, Associate Professor
More informationMILS Multiple Independent Levels of Security. Carol Taylor & Jim Alves-Foss University of Idaho Moscow, Idaho
MILS Multiple Independent Levels of Security Carol Taylor & Jim Alves-Foss University of Idaho Moscow, Idaho United states December 8, 2005 Taylor, ACSAC Presentation 2 Outline Introduction and Motivation
More informationCIS 771: Software Specifications. Lecture 4: More Alloy Basics
CIS 771: Software Specifications Lecture 4: More Alloy Basics Copyright 2001-2002, Matt Dwyer, John Hatcliff, and Rod Howell. The syllabus and all lectures for this course are copyrighted materials and
More informationSYLLABUS CIST0252. Departmental Syllabus. Departmental Syllabus. Departmental Syllabus. Departmental Syllabus. CIST-0226 SQL Server
SYLLABUS DATE OF LAST REVIEW: 02/2013 CIP CODE: 11.0901 SEMESTER: Spring 2011 COURSE TITLE: COURSE NUMBER: Data Design and Implementation (MSCE SQL) CIST0252 CREDIT HOURS: 4 INSTRUCTOR: OFFICE LOCATION:
More informationOpportunities and Obstacles to Using Static Analysis for the Development of Safety-Critical Software
Copyright 2006 Rockwell Collins, Inc. All right reserved. Opportunities and Obstacles to Using Static Analysis for the Development of Safety-Critical Software Safety-Critical Business Case FAA: use of
More informationTest and Evaluation of Autonomous Systems in a Model Based Engineering Context
Test and Evaluation of Autonomous Systems in a Model Based Engineering Context Raytheon Michael Nolan USAF AFRL Aaron Fifarek Jonathan Hoffman 3 March 2016 Copyright 2016. Unpublished Work. Raytheon Company.
More informationVerification Condition Generation via Theorem Proving
Verification Condition Generation via Theorem Proving John Matthews Galois Connections Inc. J Strother Moore University of Texas at Austin Sandip Ray University of Texas at Austin Daron Vroon Georgia Institute
More informationSYLLABUS. Departmental Syllabus
SYLLABUS DATE OF LAST REVIEW: 02/2013 CIP CODE: 11.0901 SEMESTER: COURSE TITLE: COURSE NUMBER: SQL Server CIST-0226 CREDIT HOURS: 4 INSTRUCTOR: OFFICE LOCATION: OFFICE HOURS: TELEPHONE: EMAIL: PREREQUISITE(S):
More informationRockwell Collins Evolving FM Methodology
Rockwell Collins Evolving FM Methodology Konrad Slind Trusted Systems Group Rockwell Collins January 25, 2014 Collaborators Rockwell Collins: Andrew Gacek, David Hardin, Darren Cofer, John Backes, Luas
More informationRequest For Proposal (RFP) Online Certification Platform
Request For Proposal (RFP) Online Certification Platform NAFA Fleet Management Association 125 Village Blvd., Suite 200 Princeton, NJ 08540 Pam Nobles (609) 986-1053 pnobles@nafa.org Page 1 NAFA Online
More informationStatic program checking and verification
Chair of Software Engineering Software Engineering Prof. Dr. Bertrand Meyer March 2007 June 2007 Slides: Based on KSE06 With kind permission of Peter Müller Static program checking and verification Correctness
More informationABR CERTIFICATION OF MEDICAL PHYSICISTS CERTIFICATION AMERICAN BOARD OF RADIOLOGY 7/22/2014
ABR CERTIFICATION OF MEDICAL PHYSICISTS Geoffrey S. Ibbott, Ph.D. AAPM Annual Meeting July 22, 2014 CERTIFICATION Part of a life-long process From Initial Training to Retirement AMERICAN BOARD OF RADIOLOGY
More informationPartner Program Overview PARTNER PROGRAM
Partner Program Overview Endpoint Security Market will be worth $17.38 Billion* USD by 2020. Do you want a piece of this large, addressable market? SentinelOne has awarded and certified: Top five reasons
More informationCIS 771: Software Specifications. Lecture 14: Advanced OCL Expressions
CIS 771: Software Specifications Lecture 14: Advanced OCL Expressions Copyright 2001-2002, Matt Dwyer, John Hatcliff, and Rod Howell. The syllabus and all lectures for this course are copyrighted materials
More informationTools for Formally Reasoning about Systems. June Prepared by Lucas Wagner
Tools for Formally Reasoning about Systems June 9 2015 Prepared by Lucas Wagner 2015 Rockwell 2015 Collins. Rockwell All Collins. rights reserved. All rights reserved. Complex systems are getting more
More informationAdvances in Programming Languages
T O Y H Advances in Programming Languages APL4: JML The Java Modeling Language David Aspinall (slides originally by Ian Stark) School of Informatics The University of Edinburgh Thursday 21 January 2010
More informationSpring 2001 Career Ladder Programs & Services CalWORKs Sample Curriculum. Certified Nursing Assistant Completion in 9 weeks 5 units
9 week cycle Spring 2001 Career Ladder Programs & Services CalWORKs Sample Curriculum Certified Nursing Assistant Completion in 9 weeks 5 units Nursing 103 Section 8931 Lecture 7:30 11:20 am Nursing 103
More informationSYLLABUS. Departmental Syllabus CIST Departmental Syllabus. Departmental Syllabus. Departmental Syllabus. Departmental Syllabus
SYLLABUS DATE OF LAST REVIEW: 02/2013 CIP CODE: 11.0901 SEMESTER: COURSE TITLE: Operating System Security (Windows 2008 Server) COURSE NUMBER: CIST-0254 CREDIT HOURS: 4 INSTRUCTOR: OFFICE LOCATION: OFFICE
More informationRationale and Architecture Principles for Medical Application Platforms
Rationale and Architecture Principles for Medical Application Platforms http://mdcf.santos.cis.ksu.edu/ Acknowledgements: MD PnP Project led by Dr. Julian Goldman at CIMIT NIBIB Quantum Health Care Intranet
More informationCISA EXAM PREPARATION - Weekend Program
CISA EXAM PREPARATION - Weekend Program THE CISA QUALIFICATION: CERTIFICATION PREPARATION COURSE SYLLABUS PT. RIALACHAS TATHYA PRAYUKTI Menara Palma 12th Floor Jalan HR Rasuna Said Blok X2 Kav 6 Jakarta,
More informationSYLLABUS. Departmental Syllabus CIST Departmental Syllabus. Departmental Syllabus. Departmental Syllabus. Departmental Syllabus
SYLLABUS DATE OF LAST REVIEW: 02/2013 CIP CODE: 11.0901 SEMESTER: COURSE TITLE: Advanced System Manager (Windows 2008 Network) COURSE NUMBER: CIST-0218 CREDIT HOURS: 4 INSTRUCTOR: OFFICE LOCATION: OFFICE
More informationJava Modeling Language (JML)
CIS 771: Software Specifications Introduction to JML Java Modeling Language (JML) A behavioral interface specification language for Java supporting design-by-contract (DBC)... invented by Gary T. Leavens
More informationA Modal Specification Approach for Assuring the Safety of On-Demand Medical Cyber-Physical Systems
A Modal Specification Approach for Assuring the Safety of On-Demand Medical Cyber-Physical Systems Lu Feng PRECISE Center Department of Computer and Information Science University of Pennsylvania lufeng@cis.upenn.edu
More informationAutomated Cloud Compliance. GxP and 21 CFR Part 11 Compliance
Automated Cloud Compliance GxP and 21 CFR Part 11 Compliance Solution Overview Sierra Labs has developed a set of tools to help companies with HIPAA compliance, 21 CFR Part 11 requirement, and GxP validation
More informationImplicit Computational Complexity
Implicit Computational Complexity Simone Martini Dipartimento di Scienze dell Informazione Università di Bologna Italy Bertinoro International Spring School for Graduate Studies in Computer Science, 6
More informationHOUSTON COMMUNITY COLLEGE BUSINESS TECHNOLOGY NORTHEAST COLLEGE-NORTHLINE LOCATION COURSE SYLLABUS FALL 2011 COMPUTER APPLICATION I POFI 1301
HOUSTON COMMUNITY COLLEGE BUSINESS TECHNOLOGY NORTHEAST COLLEGE-NORTHLINE LOCATION Instructor: Marva Taylor Room: 313 Phone No: 713-718-8000 Email: marva.taylor@hccs.edu Office Hours: By appointment COURSE
More informationImprove the User Experience on Your Website
Forrester Consulting Approach Document Improve the User Experience on Your Website Improving the usability of your website will provide a better customer experience. By providing site visitors with a better
More informationROJECT ANAGEMENT PROGRAM AND COURSE GUIDE
ROJECT ANAGEMENT PROGRAM AND COURSE GUIDE PROJECT MANAGEMENT CERTIFICATE PROGRAM Further your career and gain an understanding of what it takes to lead a project to successful completion functional skills,
More informationLecture 10 Design by Contract
CS 5959 Writing Solid Code Fall 2015 Nov-23 Lecture 10 Design by Contract Zvonimir Rakamarić University of Utah Design by Contract Also called assume-guarantee reasoning Developers annotate software components
More informationA Road Map for Digital Forensic Research
1 Outline of Today s Lecture! A Road Map for Digital Forensic Research o Report from the 1 st Digital Forensic Research Workshop (DFRWS) 2001! Defining Digital Forensic Examination and Analysis Tools o
More informationSDL Web Certification Program Syllabus 2018
SDL Web Certification Program Syllabus 2018 1. Introduction 3 General information about the program 3 Background of the program 3 Purpose of the program 4 Certification Details 4 About this document 4
More informationNational Information Assurance Partnership (NIAP) 2017 Report. PPs Completed in CY2017
National Information Assurance Partnership (NIAP) 2017 Report NIAP continued to grow and make a difference in 2017 from increasing the number of evaluated products available for U.S. National Security
More informationCOURSE SYLLABUS ADMINISTRATION AND COMPLIANCE MONITORING CORRESPONDENCE COURSE
COURSE SYLLABUS ADMINISTRATION AND COMPLIANCE MONITORING CORRESPONDENCE COURSE 100119 Description There are three core areas of competency with the Alberta Building Code (ABC) that a safety codes officer
More informationUNIFORM STANDARDS FOR PLT COURSES AND PROVIDERS
UNIFORM STANDARDS FOR PLT COURSES AND PROVIDERS July 2015 212001734.08 Contents 1. CORE STANDARDS FOR PLT COURSES 1 1.1 Fundamental requirement 1 1.2 Course objectives 1 1.3 Course content 1 1.4 Teaching
More informationFormal Verification in Aeronautics: Current Practice and Upcoming Standard. Yannick Moy, AdaCore ACSL Workshop, Fraunhofer FIRST
Formal Verification in Aeronautics: Current Practice and Upcoming Standard Yannick Moy, AdaCore ACSL Workshop, Fraunhofer FIRST Outline Project Hi-Lite Industrial Applications DO-178C DO-178B 1992 2012
More information1. What is the relationship between non-functional requirements and technology architecture?
SAP EDUCATION SAMPLE QUESTIONS: P_EA_1 SAP Certified Professional - Enterprise Architect Disclaimer: These sample questions are for self-evaluation purposes only and do not appear on the actual certification
More information4E Information/Action
4E Information/Action Professional Services Committee Further Discussion of Assessment Options for the Preliminary Administrative Services Credential Executive Summary: This agenda item presents options
More informationEXAM PREPARATION GUIDE
When Recognition Matters EXAM PREPARATION GUIDE PECB Certified OHSAS 18001 Lead Auditor www.pecb.com The objective of the PECB Certified OHSAS 18001 Lead Auditor examination is to ensure that the candidate
More informationCIS 3730 FALL 2008 Database Management System Project
CIS 3730 FALL 2008 Database Management System Project Project Grade (40 points) The project will be graded at the end of the course with the following breakdown: Initial Project Proposal - 4 points Weekly
More informationUsing Questionmark to Conduct a Performance Based Certification
Using Questionmark to Conduct a Performance Based Certification Agenda Who We Are Organization and Infrastructure Performance Based Certifications Using Questionmark to Conduct a Performance Based Certification
More information2014 ISACA Academic Scholarship Competition DUE DATE EXTENDED TO MAY 1, 2014
2014 ISACA Academic Scholarship Competition DUE DATE EXTENDED TO MAY 1, 2014 ISACA is a pace-setting global organization for IT professionals focusing on information governance, security and audit. IT
More informationIn brief, these criteria or elements of a profession are as follows:
Professionalism and Internal Auditors In the Middle Ages, law, medicine, university teaching, and religion were considered the learned professions. In the early 1900s, dentistry and architecture were added.
More informationINCOMMON FEDERATION: PARTICIPANT OPERATIONAL PRACTICES
INCOMMON FEDERATION: PARTICIPANT OPERATIONAL PRACTICES Participation in the InCommon Federation ( Federation ) enables a federation participating organization ("Participant") to use Shibboleth identity
More informationCreate the ideal conditions for your network to grow.
Create the ideal conditions for your network to grow. Create the ideal conditions for your network to grow. SBC PremierSERV SM Network Integration and Managed Services. Flexible, end-to-end solutions
More informationSYLLABUS. Departmental Syllabus CIST0161. Departmental Syllabus. Departmental Syllabus. Departmental Syllabus. Departmental Syllabus
SYLLABUS DATE OF LAST REVIEW: 02/2013 CIP CODE: 11.0901 SEMESTER: COURSE TITLE: COURSE NUMBER: System Manager (Windows 2008 Server) CIST0161 CREDIT HOURS: 4 INSTRUCTOR: OFFICE LOCATION: OFFICE HOURS: TELEPHONE:
More informationPROGRAMME SPECIFICATION
PROGRAMME SPECIFICATION Bachelor of Science with Honours (SW) (Fnd) in Computer Forensics Awarding institution Teaching institution UCAS Code JACS Code Programme Duration Language of Programme Liverpool
More informationMidland College Syllabus. ITNW 2413 Networking Hardware
Midland College Syllabus ITNW 2413 Networking Hardware Course Description: Exploration of hardware devices including cables, servers, and workstations, network connectivity devices and uninterruptible
More informationFull-Time: 4 Years, Sandwich Thick: 5 Years All LJMU programmes are delivered and assessed in English
PROGRAMME SPECIFICATION Bachelor of Science with Honours (SW) (Fnd) in Computer Forensics Awarding institution Teaching institution UCAS Code JACS Code Programme Duration Language of Programme Liverpool
More informationAbout the Computer Support Specialist Program
IT COMPUTER SUPPORT SPECIALIST About the Computer Support Specialist Program Learn the latest skills and technology to obtain jobs in business and industry where computer systems and networks are integral
More informationSecurity Professional Education Development (SPēD) DoD Personnel Security Adjudicator Professional Certification (APC) Program Maintenance Procedures
Security Professional Education Development (SPēD) DoD Personnel Security Adjudicator Professional Certification (APC) Program Maintenance Procedures DATE 4 November 2014 SUBJECT: Maintenance and Renewal
More informationSan Jose State University College of Science Department of Computer Science CS151, Object-Oriented Design, Sections 1,2 and 3, Spring 2017
San Jose State University College of Science Department of Computer Science CS151, Object-Oriented Design, Sections 1,2 and 3, Spring 2017 Course and Contact Information Instructor: Dr. Kim Office Location:
More informationA New Baccalaureate Program in Wireless Engineering. Victor P. Nelson 1, Richard O. Chapman 2, Richard C. Jaeger 1 Auburn University, Alabama
A New Baccalaureate Program in Wireless Engineering Victor P. Nelson 1, Richard O. Chapman 2, Richard C. Jaeger 1 Auburn University, Alabama 1. Department of Electrical and Computer Engineering 2. Department
More informationSSMLT. Continuing Professional Education (CPE) Guidelines
SSMLT Continuing Professional Education (CPE) Guidelines Revision History Approved January 1998 Revised December 2016 Revised December 2018 Copyright SSMLT 2018 No part of this publication may be reproduced
More informationCTE Program Proposal. NAME OF COLLEGE: Bakersfield College. FACULTY CONTACT: Creighton Magers DATE: 11/19/2015
CTE Program Proposal NAME OF COLLEGE: Bakersfield College FACULTY CONTACT: Creighton Magers DATE: 11/19/2015 PROGRAM NAME: CompTIA Certificate of Achievement New Program Proposal Program Revision Proposal
More informationResponse to the Validation Panel for the DIT Foundation Programmes
Response to the Validation Panel for the DIT Foundation Programmes Condition: The programme should be presented as two separate programmes with separate programme documentation, including programme aims,
More informationModelling Security in UML/OCL for C2IS
Modelling Security in UML/OCL for C2IS Robert Charpentier & Martin Salois R et D pour la défense Canada Defence R&D Canada Canada Plan Motivation & Objectives Software Certification Techniques Modelling
More informationE-Learning. Meeting Solutions
E-Learning Meeting Solutions Teach and train more people, more often for less online with MCI Conferencing e-learning solutions and watch how quickly your company can gain the competitive advantage. These
More informationA Data-Centric Approach for Modular Assurance Abstract. Keywords: 1 Introduction
A Data-Centric Approach for Modular Assurance Gabriela F. Ciocarlie, Heidi Schubert and Rose Wahlin Real-Time Innovations, Inc. {gabriela, heidi, rose}@rti.com Abstract. A mixed-criticality system is one
More informationSYLLABUS. Departmental Syllabus. Communication Fundamentals ELET0206. Departmental Syllabus. Departmental Syllabus. Departmental Syllabus
SYLLABUS DATE OF LAST REVIEW: 02/2013 CIP CODE: 46.0302 SEMESTER: COURSE TITLE: COURSE NUMBER: Communication Fundamentals ELET0206 CREDIT HOURS: 2 INSTRUCTOR: OFFICE LOCATION: OFFICE HOURS: TELEPHONE:
More informationEXAM PREPARATION GUIDE
When Recognition Matters EXAM PREPARATION GUIDE PECB Certified ISO 22000 Lead Auditor www.pecb.com The objective of the Certified ISO 22000 Lead Auditor examination is to ensure that the candidate has
More informationIndividual User Guide for QA i-portal
Individual User Guide for QA i-portal Version 1.0 Examples shown in this User Guide are for demonstration purpose only. They might not reflect the actual information published on QA i-portal. Table of
More informationSeveral factors will be considered when matching instructors with training opportunities identified by Corporate Solutions.
Qualifications for Corporate Solutions Non-credit instructors Several factors will be considered when matching instructors with training opportunities identified by Corporate Solutions. They are: Certifications
More informationCredential Awarding Body Timing Before, During or After Apprenticeship. hardware vendors
Occupation: Information Technology Generalist ONET Code 15-1151.00 RAPIDS Code 1059 OCCUPATIONAL OVERVIEW Potential Job Titles: IT Generalist, Network Manager, Network Support Technician, Network Administrator,
More informationConsiderations in automotive embedded development Global Automotive Director Kiyo Uemura
Considerations in automotive embedded development Global Automotive Director Kiyo Uemura Agenda 1. IAR Systems Introduction 2. Background & ISO 26262 3. Software Development at the software level 4. Supporting
More informationINCOMMON FEDERATION: PARTICIPANT OPERATIONAL PRACTICES
INCOMMON FEDERATION: PARTICIPANT OPERATIONAL PRACTICES Participation in the InCommon Federation ( Federation ) enables a federation participating organization ("Participant") to use Shibboleth identity
More informationDIGGING INTO COMPETENCIES AND CREDENTIALING REQUIREMENTS SEPTEMBER 23, 2015 LISA HORWITZ
DIGGING INTO COMPETENCIES AND CREDENTIALING REQUIREMENTS SEPTEMBER 23, 2015 LISA HORWITZ WHY ARE COMPETENCY PATHS AND CREDENTIALS IMPORTANT? The more you know about SAS technology, the better you will
More information2.5.1: Reforms in Continuous Internal Evaluation (CIE) System at the Institutional Level
D Y Patil Institute of Engineering and Technology, Ambi, Pune Address:Sr.No.124 & 126, A/p- Ambi, Tal-Maval, MIDC Road, TalegaonDabhade, Pune-410506, Maharashtra, India Tel: 02114306229, E-mail : info@dyptc.edu.in
More information2010 COMPTIA A EXAM ANSWER
page 1 / 5 page 2 / 5 2010 comptia a exam pdf Our VUE Network+ Exam Vouchers are redeemable at Pearson VUE testing centers only. CompTIA exams are delivered exclusively with Pearson VUE, and no longer
More informationPOST MASTER S CERTIFICATE IN VALIDATION SCIENCE
POST MASTER S CERTIFICATE IN VALIDATION SCIENCE BACKGROUND Temple University s School of Pharmacy continues to be the leader in providing outstanding graduate-level courses in Regulatory Affairs and Quality
More informationProgramme Specification Title of Programme: HNC in Computing and Systems Development with Cisco CCENT
Programme Specification Title of Programme: HNC in Computing and Systems Development with Cisco CCENT This specification provides a concise summary of the main features of the programme and the learning
More informationET345P Control Systems [Onsite]
ET345P Control Systems [Onsite] Course Description: Students examine the control of systems with programmable units. Applying digital logic to control industrial processes is emphasized. Prerequisite(s)
More informationISACA Central Ohio Chapter Academic Scholarship 2018
ISACA Central Ohio Chapter Academic Scholarship 2018 What is ISACA? ISACA is a worldwide association of IS governance professionals ISACA advances global business leaders in technology, information and
More informationCS: Formal Methods in Software Engineering
CS:5810 Formal Methods in So7ware Engineering Sets and Rela
More informationDeductive Verification in Frama-C and SPARK2014: Past, Present and Future
Deductive Verification in Frama-C and SPARK2014: Past, Present and Future Claude Marché (Inria & Université Paris-Saclay) OSIS, Frama-C & SPARK day, May 30th, 2017 1 / 31 Outline Why this joint Frama-C
More informationPROGRAMME SPECIFICATION
PROGRAMME SPECIFICATION Bachelor of Science with Honours (SW) (Fnd) in Computer Science Awarding institution Teaching institution UCAS Code JACS Code Liverpool John Moores University LJMU Programme Duration
More informationInternationally Recognised Courses Affordable Courses Job Guarantee
Career prospects in Hardware & Networking courses in India. Nearly a decade ago, computer hardware and networking was not considered as a very lucrative career option in India but currently, IT, Computer
More informationCISA Course. Course Details: iathena.com, a Navitus Education Venture
iathena.com, a Navitus Education Venture CISA Course Course Details: Modules: 5 Contents: Interactive Supplements: Overview, Tips n Tricks, 1 Exam Type: Self-Paced (30, 90 & 180 Days) Copyright: Navitus
More informationPolicy for Accrediting Assessment Bodies Operating within the Cradle to Cradle Certified Product Certification Scheme. Version 1.2
Policy for Accrediting Assessment Bodies Operating within the Cradle to Cradle Certified Product Certification Scheme Version 1.2 July 2015 Copyright, Cradle to Cradle Products Innovation Institute, 2015
More informationSLED Certification of 3 rd Party NCIC/SCIC Applications Overview February 2, 2004
SLED Certification of 3 rd Party NCIC/SCIC Applications Overview February 2, 2004 This document provides an overview of the program put into place by the South Carolina Law Enforcement Division (SLED)
More informationCS:5810 Formal Methods in Software Engineering
CS:5810 Formal Methods in Software Engineering Introduction to Alloy Part 1 Copyright 2001-17, Matt Dwyer, John Hatcliff, Rod Howell, Laurence Pilard, and Cesare Tinelli. Created by Cesare Tinelli and
More informationCertified Exporter Approved Provider Program
Certified Exporter Approved Provider Program administered by The International Import-Export Institute at Dunlap-Stone University Phoenix, Arizona D S Globalization is Happening! The goal of this program
More informationHITRUST CSF Roadmap for 2018 and Beyond HITRUST Alliance.
HITRUST CSF Roadmap for 2018 and Beyond HITRUST CSF Roadmap 2017 HITRUST CSF v9 Update 21 CFR Part 11 (FDA electronic signatures) Add FFIEC IT Examination (InfoSec), FedRAMP, DHS Critical Resilience Review
More informationCanadian General Standards Board Standardization and Conformity for Canadian Military Assistance Dog Services Presentation to The Canadian Foundation
Canadian General Standards Board Standardization and Conformity for Canadian Military Assistance Dog Services Presentation to The Canadian Foundation for Animal-Assisted Support Service November 2013 CGSB
More informationAudit Challenges and Best Practices in a Research University Environment
NSAA Annual Conference Jeffrey Huskamp Vice President and CIO University of Maryland, College Park Carnegie Doctoral/Research University Extensive 18 th ranked public university (US News) Celebrated 150
More information1992 KUDITS-OBRAZ LLC was founded as an IT training company
1992 KUDITS-OBRAZ LLC was founded as an IT training company 1993 Beginning of a long-term partnership with IBM company as a training developer and provider 1997 IBM Authorized Training Center 2000 Part
More informationSAULT COLLEGE OF APPLIED ARTS & TECHNOLOGY SAULT STE MARIE, ON COURSE OUTLINE
SAULT COLLEGE OF APPLIED ARTS & TECHNOLOGY SAULT STE MARIE, ON COURSE OUTLINE Course Title: NETWORK CERTIFICATION I Code No.: Semester: 5 Program: COMPUTER NETWORK TECHNOLOGY Author TYCHO BLACK / DAN KACHUR
More informationEXAM PREPARATION GUIDE
EXAM PREPARATION GUIDE PECB Certified ISO 39001 Lead Auditor The objective of the PECB Certified ISO 39001 Lead Auditor examination is to ensure that the candidate has the knowledge and skills to plan
More informationNGTC Course Catalog / Student Handbook PROGRAMS OF STUDY COMPUTER INFORMATION SYSTEMS COMPUTER INFORMATION SYSTEMS
COMPUTER INFMATION SYSTEMS Web Application Development AAS Degree (IS43) Offered at the Clarkesville Campus Entrance Date... Fall, Spring, Summer Length of Program... 5 Terms Credit Hours Required for
More information