Certification

View this topic in
Certification refers to the confirmation of certain characteristics of an object, person, or organization. (Wikipedia.org)






Conferences related to Certification

Back to Top

2018 13th Annual Conference on System of Systems Engineering (SoSE)

SoSE is the main conference on Systems of Systems, defined as complex systems created by the systematic and dynamic assembly of various interacting sub-systems. The 2018 conference theme is “Systems of systems Management and Control: Frontiers between cyber, physical, and social systems”.

  • 2017 12th System of Systems Engineering Conference (SoSE)

    Internet of Things as System of Systems

  • 2016 11th System of Systems Engineering Conference (SoSE)

    IEEE System, Man, and Cybernetics Society and IEEE Reliability Society announce the Eleventhth International Conference on System of Systems Engineering (SoSE) with its vast ramifications in numerous engineering fields such as control, computing, communication, information technology and in applications such manufacturing, defense, national security, aerospace, maritime, energy, environment, healthcare, and transportation. The conference theme is "SoSE and Cyber Physical Systems (CPS), from academia to application and back" We welcome papers on theories, methodologies, and applications of SoSE and CPS in science, technology, industry, and education. Particularly those that deal with the interaction between research institutes, industry, funding and policy makers. What can we do to stimulate both knowledge creation and economic value? Papers should be five to six pages in length, in standard two-column IEEE Conference Proceedings format.

  • 2015 10th System of Systems Engineering Conference (SoSE)

    IEEE System, Man, and Cybernetics Society and IEEE Reliability Society announce the Sixth International Conference on System of Systems Engineering (SoSE) with its vast ramifications in numerous engineering fields such as control, computing, communication, information technology and in applications such manufacturing, defense, national security, aerospace, aeronautics, energy, environment, healthcare, and transportation. The conference theme is “SoSE Controls, Modeling, and Simulation” three areas of significant investment within the public and private sectors as well as being significant initiatives areas of IEEE. Papers on theories, methodologies, and applications of System of Systems Engineering in science, technology, industry, and education are welcome.

  • 2014 9th International Conference on System of Systems Engineering (SOSE)

    Sociotechnical Aspects of SoSE; The Nexus between Complex Systems Concepts and SoSE; SoSE Application Domains and Case Studies; Open Cloud Computing; SoSE Approaches, Tools, Methods and Processes; SoSE modelling, simulation & and analysis; Entrepreneurship.

  • 2013 8th International Conference on System of Systems Engineering (SoSE)

    IEEE System, Man, and Cybernetics Society and IEEE Reliability Society announce the 8th International Conference on System of Systems Engineering (SoSE) with its vast ramifications in numerous engineering fields such as control, computing, communication, information technology and in applications such manufacturing, defense, national security, aerospace, aeronautics, energy, environment, healthcare, and transportation. The conference theme is

  • 2012 7th International Conference on System of Systems Engineering (SoSE)

    The conference theme is SoSE in cooperative and competitive distributed decision making in complex dynamic systems , focusing on SoSE control and simulation methodologies to support decisions in different application fields, among others transport, energy, industrial and environmental risk management. Papers on theories, methodologies, and applications of System of Systems Engineering in science, technology, industry, and education are welcome.

  • 2011 6th International Conference on System of Systems Engineering (SoSE)

    the Sixth International Conference on System of Systems Engineering (SoSE) with its vast ramifications in numerous engineering fields such as control, computing, communication, information technology and in applications such manufacturing, defense, national security, aerospace, aeronautics, energy, environment, healthcare, and transportation. The conference theme is SoSE in Cloud Computing, Smart Grid, and Cyber Security, three areas of significant investment within the public and private sectors as well

  • 2010 5th International Conference on System of Systems Engineering (SoSE)

    The 5th International Conference on System of Systems Engineering (SoSE) covers engineering fields such as control, computing, communication, information technology and the applications to manufacturing, defense, national and homeland security, aerospace, aeronautics, energy, environment, transport.

  • 2009 IEEE International Conference on System of Systems Engineering (SoSE)

    SYSTEM OF SYSTEMS, ARCHITECHTURE, MODLEING, SIMULATION, EMERGENCE, ENGINEERING, CONTROL, APPLICATION IN DEFENSE, ENERGY, SECURITY, SPACE, AERONAUTICS, MANUFACTURING, EARTH OBSERVATION, WATER RESOURCES, ETC.

  • 2008 IEEE International Conference on System of Systems Engineering (SoSE)

    Various concepts and fundamental theories and applications of system of systems and SoS Engineering will be discussed in this meeting. This is the 3rd of its sereis.

  • 2007 IEEE International Conference on System of Systems Engineering (SoSE)

  • 2006 IEEE/SMC International Conference on System of Systems Engineering (SoSE)


2018 17th IEEE International Conference On Trust, Security And Privacy In Computing And Communications/ 12th IEEE International Conference On Big Data Science And Engineering (TrustCom/BigDataSE)

The conference aims at bringing together researchers and practitioners in the world working on trusted computing and communications, with regard to trust, security, privacy, reliability, dependability, survivability, availability, and fault tolerance aspects of computer systems and networks, and providing a forum to present and discuss emerging ideas and trends in this highly challenging research field


2018 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

Suggested, but not exclusive, topics of interest include: automata theory, automated deduction, categorical models and logics, concurrency and distributed computation, constraint programming, constructive mathematics, database theory, decision procedures, description logics, domain theory, finite model theory, formal aspects of program analysis, formal methods, foundations of computability, games and logic, higher-order logic, lambda and combinatory calculi, linear logic, logic in artificial intelligence, logic programming, logical aspects of bioinformatics, logical aspects of computational complexity, logical aspects of quantum computation, logical frameworks, logics of programs, modal and temporal logics, model checking, probabilistic systems, process calculi, programming language semantics, proof theory, real-time systems, reasoning about security and privacy, rewriting, type systems and type theory, and verification.

  • 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

    Suggested, but not exclusive, topics of interest include: automata theory, automated deduction, categorical models and logics, concurrency and distributed computation, constraint programming, constructive mathematics, database theory, decision procedures, description logics, domain theory, finite model theory, formal aspects of program analysis, formal methods, foundations of computability, games and logic, higher-order logic, lambda and combinatory calculi, linear logic, logic in artificial intelligence, logic programming, logical aspects of bioinformatics, logical aspects of computational complexity, logical aspects of quantum computation, logical frameworks, logics of programs, modal and temporal logics, model checking, probabilistic systems, process calculi, programming language semantics, proof theory, real-time systems, reasoning about security and privacy, rewriting, type systems and type theory, and verification.

  • 2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

    The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed. We invite submissions on topics that fit under that rubric. Suggested, but not exclusive, topics of interest include:automata theory, automated deduction, categorical models and logics, concurrency and distributed computation, constraint programming, constructive mathematics, database theory, decision procedures, description logics, domain theory, finite model theory, formal aspects of program analysis, formal methods, foundations of computability, higher-order logic, lambda and combinatory calculi, linear logic, logic in artificial intelligence, logic programming, logical aspects of bioinformatics, logical aspects of computational complexity, logical aspects of quantum computation, logical frameworks, logics of programs, modal and temporal logics, model checking, probabilistic systems, process calculi, programming language semantic

  • 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

    Suggested, but not exclusive, topics of interest include: automata theory, automated deduction, categorical models and logics, concurrency and distributed computation, constraint programming, constructive mathematics, database theory, decision procedures, description logics, domain theory, finite model theory, theory of automatic structures, formal aspects of program analysis, formal methods, foundations of computability, higher-order logic, lambda and combinatory calculi, linear logic, logic in artificial intelligence, logic programming, logical aspects of bioinformatics, logical aspects of computational complexity, logical aspects of quantum computation, logical frameworks, logics of programs, modal and temporal logics, model checking, probabilistic systems, process calculi, programming language semantics, proof theory, real-time systems, reasoning about security, rewriting, type systems and type theory, and verification.

  • 2014 29th Annual IEEE/ACM Symposium on Logic in Computer Science (LICS)

    Suggested, but not exclusive, topics of interest include: automata theory, automated deduction, categorical models and logics, concurrency and distributed computation, constraint programming, constructive mathematics, database theory, decision procedures, description logics, domain theory, finite model theory, theory of automatic structures, formal aspects of program analysis, formal methods, foundations of computability, higher-order logic, lambda and combinatory calculi, linear logic, logic in artificial intelligence, logic programming, logical aspects of bioinformatics, logical aspects of computational complexity, logical aspects of quantum computation, logical frameworks, logics of programs, modal and temporal logics, model checking, probabilistic systems, process calculi, programming language semantics, proof theory, real-time systems, reasoning about security, rewriting, type systems and type theory, and verification.

  • 2013 Twenty-Eighth Annual IEEE/ACM Symposium on Logic in Computer Science (LICS 2013)

    The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed.

  • 2012 27th Annual IEEE Symposium on Logic in Computer Science (LICS 2012)

    The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic in a broad sense.

  • 2011 26th Annual IEEE Symposium on Logic in Computer Science (LICS 2011)

    LICS is an annual international forum on topics that lie at the intersection of computer science and mathematical logic.

  • 2010 25th Annual IEEE Symposium on Logic in Computer Science (LICS 2010)

    LICS is an annual international forum on topics that lie at the intersection of computer science and mathematical logic.

  • 2009 24th Annual IEEE Symposium on Logic in Computer Science (LICS 2009)

    LICS is an annual international forum on topics that lie at the intersection of computer science and mathematical logic.

  • 2008 23rd Annual IEEE Symposium on Logic in Computer Science (LICS 2008)

    The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic in a broad sense.

  • 2007 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007)

  • 2006 21st Annual IEEE Symposium on Logic in Computer Science (LICS 2006)

  • 2005 20th Annual IEEE Symposium on Logic in Computer Science (LICS 2005)


2018 IEEE 25th Symposium on Computer Arithmetic (ARITH)

All aspects of computer arithmetic including algorithms, hardware designs, software implementations, number systems, and arithmetic in emerging technologies and applications.


2018 IEEE Aerospace Conference

The international IEEE Aerospace Conference is organized to promote interdisciplinaryunderstanding of aerospace systems, their underlying science, and technology


More Conferences

Periodicals related to Certification

Back to Top

Aerospace and Electronic Systems Magazine, IEEE

The IEEE Aerospace and Electronic Systems Magazine publishes articles concerned with the various aspects of systems for space, air, ocean, or ground environments.


Antennas and Wireless Propagation Letters, IEEE

IEEE Antennas and Wireless Propagation Letters (AWP Letters) will be devoted to the rapid electronic publication of short manuscripts in the technical areas of Antennas and Wireless Propagation.


Communications Magazine, IEEE

IEEE Communications Magazine was the number three most-cited journal in telecommunications and the number eighteen cited journal in electrical and electronics engineering in 2004, according to the annual Journal Citation Report (2004 edition) published by the Institute for Scientific Information. Read more at http://www.ieee.org/products/citations.html. This magazine covers all areas of communications such as lightwave telecommunications, high-speed data communications, personal communications ...


Computer

Computer, the flagship publication of the IEEE Computer Society, publishes peer-reviewed technical content that covers all aspects of computer science, computer engineering, technology, and applications. Computer is a resource that practitioners, researchers, and managers can rely on to provide timely information about current research developments, trends, best practices, and changes in the profession.


Computer Graphics and Applications, IEEE

IEEE Computer Graphics and Applications (CG&A) bridges the theory and practice of computer graphics. From specific algorithms to full system implementations, CG&A offers a strong combination of peer-reviewed feature articles and refereed departments, including news and product announcements. Special Applications sidebars relate research stories to commercial development. Cover stories focus on creative applications of the technology by an artist or ...


More Periodicals


Xplore Articles related to Certification

Back to Top

Fault insertion software and hardware testing for safety PLC-based system SIL certification

[{u'author_order': 1, u'affiliation': u'RadICS LLC, Kropyvnytskiy, Ukraine', u'full_name': u'Oleg Odarushchenko'}, {u'author_order': 2, u'affiliation': u'RadICS LLC, Kropyvnytskiy, Ukraine', u'full_name': u'Oleksiy Strjuk'}, {u'author_order': 3, u'affiliation': u'RadICS LLC, Kropyvnytskiy, Ukraine', u'full_name': u'Yevhen Bulba'}, {u'author_order': 4, u'affiliation': u'RPC Radiy, Kropyvnytskiy, Ukraine', u'full_name': u'Kostiantyn Leontiiev'}, {u'author_order': 5, u'affiliation': u'RPC Radiy, Kropyvnytskiy, Ukraine', u'full_name': u'Alexandr Ivasyuk'}, {u'author_order': 6, u'affiliation': u'National Aerospace University “KhAI”, Kharkiv, Ukraine', u'full_name': u'Vyacheslav Kharchenko'}] 2018 IEEE 9th International Conference on Dependable Systems, Services and Technologies (DESSERT), None

Challenges and solutions related to Programmable Logic Controller (PLC) and PLC based Instrumentation and Control systems (PICS) verification and validation (V&V;) are discussed. A particular case of safety critical PICS developed using FPGA (FPICS) is analyzed. Fault insertion testing (FIT) is one of the V&V; techniques and FIT is applied to meet the IEC 61508 standard requirements and to be ...


Design and testing methodologies for true random number generators towards industry certification

[{u'author_order': 1, u'affiliation': u'KU Leuven COSIC, Kasteelpark Arenberg 10 bus 2452, B-3001 Heverlee, Belgium', u'full_name': u'Josep Balasch'}, {u'author_order': 2, u'affiliation': u'Hubert Curien Laboratory, UMR CNRS 5516, University of Lyon, 42000 Saint-Etienne, France', u'full_name': u'Florent Bernard'}, {u'author_order': 3, u'affiliation': u'Hubert Curien Laboratory, UMR CNRS 5516, University of Lyon, 42000 Saint-Etienne, France', u'full_name': u'Viktor Fischer'}, {u'author_order': 4, u'affiliation': u'KU Leuven COSIC, Kasteelpark Arenberg 10 bus 2452, B-3001 Heverlee, Belgium', u'full_name': u'Milo\u0161 Gruji\u0107'}, {u'author_order': 5, u'affiliation': u'MICRONIC, Sliačska 2/C, 83102, Bratislava, Slovak Republic', u'full_name': u'Marek Laban'}, {u'author_order': 6, u'affiliation': u'Hubert Curien Laboratory, UMR CNRS 5516, University of Lyon, 42000 Saint-Etienne, France', u'full_name': u'Oto Petura'}, {u'author_order': 7, u'affiliation': u'KU Leuven COSIC, Kasteelpark Arenberg 10 bus 2452, B-3001 Heverlee, Belgium', u'full_name': u'Vladimir Ro\u017ei\u0107'}, {u'author_order': 8, u'affiliation': u'Brighsight B.V., Brassersplein 2, 2612 CT Delft, The Netherlands', u'full_name': u'Gerard van Battum'}, {u'author_order': 9, u'affiliation': u'KU Leuven COSIC, Kasteelpark Arenberg 10 bus 2452, B-3001 Heverlee, Belgium', u'full_name': u'Ingrid Verbauwhede'}, {u'author_order': 10, u'affiliation': u'Brighsight B.V., Brassersplein 2, 2612 CT Delft, The Netherlands', u'full_name': u'Marnix Wakker'}, {u'author_order': 11, u'affiliation': u'KU Leuven COSIC, Kasteelpark Arenberg 10 bus 2452, B-3001 Heverlee, Belgium', u'full_name': u'Bohan Yang'}] 2018 IEEE 23rd European Test Symposium (ETS), None

The objective of this paper is to provide insight on the design, evaluation and testing of modern True Random Number Generators (TRNGs) aimed towards certification. We discuss aspects related to each of these stages by means of two illustrative TRNG designs: PLL-TRNG and DC-TRNG. Topics covered in the paper include: the importance of formal security evaluations based on a stochastic ...


Structural certification of human-rated inflatable space structures

[{u'author_order': 1, u'affiliation': u'NASA Langley Research Center, 8 W. Taylor St, MS 190, Hampton, VA 23606', u'full_name': u'Thomas C Jones'}] 2018 IEEE Aerospace Conference, None

This paper details the results of an initial study to develop a certification plan for human-rated inflatable space structures, including guidelines for qualification testing. Habitable softgoods inflatables are multi-layered shell structures that use high-strength webbing, cordage and broadcloth fabric to carry the skin loads of a variety of volumetric shapes and structural architectures. The primary objectives of this study are ...


Bridging the gap between testing and safety certification

[{u'author_order': 1, u'affiliation': u'Department of Computer Science, University of Denver, Denver, CO, USA', u'full_name': u'Aiman Gannous'}, {u'author_order': 2, u'affiliation': u'Department of Computer Science, University of Denver, Denver, CO, USA', u'full_name': u'Anneliese Andrews'}, {u'author_order': 3, u'affiliation': u'IDT, MRTC, Mälardalen University, Västerås, Sweden', u'full_name': u'Barbra Gallina'}] 2018 IEEE Aerospace Conference, None

DO-178C and its supplement DO-331 provide a set of objectives to be achieved for any development of airborne software systems when model-driven development approaches are in use. Fail-safeMBT is an academic recently proposed model- based approach for testing safety-critical systems. Fail-safeMBT is a potential innovative testing process that needs compelling arguments to be adopted for the development of aeronautical software. ...


Mechanical load testing of solar panels — beyond certification testing

[{u'author_order': 1, u'affiliation': u'BrightSpot Automation LLC, Westford, MA, USA', u'full_name': u'Andrew M. Gabor'}, {u'author_order': 2, u'affiliation': u'BrightSpot Automation LLC, Westford, MA, USA', u'full_name': u'Rob Janoch'}, {u'author_order': 3, u'affiliation': u'BrightSpot Automation LLC, Westford, MA, USA', u'full_name': u'Andrew Anselmo'}, {u'author_order': 4, u'affiliation': u'Florida Solar Energy Center at the University of Central Florida, Orlando, FL, USA', u'full_name': u'Jason L Lincoln'}, {u'author_order': 5, u'affiliation': u'Florida Solar Energy Center at the University of Central Florida, Orlando, FL, USA', u'full_name': u'Hubert Seigneur'}, {u'author_order': 6, u'affiliation': u'Fraunhofer CSE, Boston, MA, USA', u'full_name': u'Christian Honeker'}] 2017 IEEE 44th Photovoltaic Specialist Conference (PVSC), None

Mechanical load tests are a commonly-performed stress test where pressure is applied to the front and back sides of solar panels. In this paper we review the motivation for load tests and the different ways of performing them. We then discuss emerging durability concerns and ways in which the load tests can be modified and/or enhanced by combining them with ...


More Xplore Articles

Educational Resources on Certification

Back to Top

eLearning

No eLearning Articles are currently tagged "Certification"

IEEE-USA E-Books

  • Staff Skills and Knowledge – Training and Certification

    Successful team performance is based on the staff possessing adequate skills and knowledge. Accordingly, skill and knowledge requirements are discussed with every team candidate. The organization's skill and knowledge requirements may differ from specific projects. Project‐specific requirements may be included in the project contract requirements. Most organizations set education and professional training requirements for each of the software development and maintenance positions. The planning of training, retraining, and updating activities refers to the program contents, the number of participants, and the form of training. The role of the software quality assurance (SQA) function is supportive regarding the skill and knowledge required from software development staff, especially related to quality assurance topics. The successful operation of development and maintenance processes is supported in most cases by position certification of the key positions involved in performing these processes.

  • Certification

    This chapter contains sections titled: Certification Process Operating Environment Certification Waveform Assessment and Certification

  • Testing, Standards, and Certification

    This chapter contains sections titled: The Role of Standards, National Solar Mandates, Organizations: A History of Federal and Private Involvement, U.S. Standards Organization, International Organizations Involved in Standardization, Lessons Learned, Acknowledgment, References

  • Tooling Design and Certification

  • Certifying Proficiency

    Product proficiency certification programs are a great way to increase the loyalty, the quality, and the reputation of a product. In her book, _Performance‐Based Certification_, Dr Hale points out that it is typical for corporations to include a code of conduct requirement in their certification programs. This is helpful if instructor's certification grants authorization to perform certain tasks. One of the important requirements of product proficiency certification is proof of impartiality. Three major logistical efforts help instructors to remain impartial and fair. Those three are the selection process and available opportunities of the program, the administration and traceability of the program, and the deviations and exceptions of the program. Certification programs require documentation that is more extensive. The certification program document should include documentation of any policies that are specific to this program.

  • The Operation of Hands‐On Learning

    There are many operational tasks required to run a product training program that is both efficient and effective. This chapter covers a few areas that may or may not be part of the direct responsibility of the subject matter expert. Even if an expert is not accountable for the outcome of these areas, it is important that they understand how each one functions and how it affects their training, their program, and the company. The chapter also discusses a few things for instructors to make any product training program more effectively. Certification is important for instructors, executives, and many in between to understand the difference between a certificate and a certification. Learning that matters and that happens in a real environment with real and important results is more effective than any other type of learning. Just because mentoring encourages informal learning does not mean the program itself should not be organized or formalized.

  • What Is Expected Must Be Inspected

    This chapter deals with evaluating the class and assessing the individuals. In product training, there are two main types of individual assessments that instructors should consider: instructors should assess the student's overall knowledge and instructors should assess their skill level. Quizzes and exams are the most common way to assess for general knowledge. Both can be helpful to determine if students were able to process the material that instructors covered. Give students reports on their exams so that they can improve in the areas they need to, even if they scored high enough to pass the class. If instructors use a skill assessment, it is important to carefully define the skill they are assessing. Surveys and course evaluations are helpful to improve the effectiveness of product training when administered correctly. To be effective as an instructor, he/she must measures results.

  • Now, Go Do It

    Two things make a great trainer: a love for learning and a love for people. When he/she combines a love for learning with a love for people, the result is a love for seeing others learn. When that learning makes a difference, he/she has become an effective trainer. He/she needs to create a plan that will increase his/her effectiveness as a trainer and keep him/her improving. He/she also needs to define an approach develop with a strategy, design with a structure, and then go out and deliver with a purpose. He/she may use any model that helps him/her to evaluate the business goals, audience, objectives, and learning activities before creating the content. Mentoring can be a key factor in the success of a product training program. Mentoring provides an opportunity for subject matter experts to make a difference in the life and career of a new or junior employee.

  • Conformance and Acceptance Testing

    This chapter covers user equipment (UE) and evolved Node B (eNB) conformance testing. It explains the role of certification bodies such as the global certification forum (GCF) and PCS type certification review board (PTCRB) in UE certification and in network operator acceptance testing, which‐although not formally part of the conformance testing regime‐is becoming an increasingly important step for equipment vendors to take before their products are actively marketed by specific operators. The chapter also explains radio frequency (RF) conformance testing and UE signaling conformance testing. A section describes the RF conformance tests as they apply to the UE and eNB. Another section covers the formal UE signaling conformance tests.

  • Interoperability Testing

    This chapter contains sections titled: What is Interoperability Testing? Interoperability and Certification Ways in Which Interoperability Testing is Carried Out Typical Sources of Tests



Standards related to Certification

Back to Top

IEEE Recommended Practice for Distributed Interactive Simulation - Exercise Management and Feedback

This standard is part of a proposed set of standards for Distributed Interactive Simulation (DIS) applications. Each standard in the proposed set describes one or more of the several elements that constitute the DIS environment. As a whole, the set of standards will define an interoperable simulated battle environment. This particular standard addresses the exercise control and feedback stations connected ...



Jobs related to Certification

Back to Top