Needham, MA, United States

Parametric Technology (PTC)

www.ptc.com
Needham, MA, United States

PTC, Inc. is a U.S.-based computer software company specializing in 2D & 3D design software, product lifecycle management , and service management solutions. Its core product lines are PTC Creo , PTC Windchill , PTC Mathcad , PTC Integrity , PTC Servigistics, and PTC Arbortext . Wikipedia.


Time filter

Source Type

Mo Y.,Zhejiang Normal University | Xing L.,University of Massachusetts Dartmouth | Amari S.V.,Parametric Technology (PTC)
IEEE Transactions on Reliability | Year: 2014

Many practical systems are phased-mission systems (PMSs), where the mission consists of multiple, consecutive, and non-overlapping phases of operation. An accurate reliability analysis of a PMS must consider statistical dependence of component states across phases, as well as dynamics in system configurations, success criteria, and component behavior. This paper proposes a new method based on multiple-valued decision diagrams (MDDs) for the reliability analysis of a non-repairable binary-state PMS. Due to its multi-valued logic nature, the MDD model has recently been applied to the reliability analysis of multistate systems. In this work, we present a novel way to adapt MDDs for the reliability analysis of systems with multiple phases. Examples show how the MDD models are generated and evaluated to obtain the mission reliability measures. Performance of the MDD-based method is compared with an existing binary decision diagram (BDD)-based method for PMS analysis. Empirical results show that the MDD-based method can offer lower computational complexity as well as a simpler model construction and improved evaluation algorithms over those used in the BDD-based method. © 2014 IEEE.


Grant
Agency: European Commission | Branch: FP7 | Program: JTI-CP-ARTEMIS | Phase: SP1-JTI-ARTEMIS-2012-AIPP1 | Award Amount: 81.51M | Year: 2013

CRYSTAL aims at fostering Europes leading edge position in embedded systems engineering in particular regarding quality and cost effectiveness of safety-critical embedded systems and architecture platforms. Its overall goal is to enable sustainable paths to speed up the maturation, integration, and cross-sectoral reusability of technological and methodological bricks of the factories for safety-critical embedded systems engineering in the areas of transportation (aerospace, automotive, and rail) and healthcare providing a critical mass of European technology providers. CRYSTAL perfectly fits to other ARTEMIS projects, sharing the concept of a reference technology platform (RTP) as a consistent set of integration principles and seamless technology interoperability standards. Based on the methodologies of a service-oriented architecture and the results of previous projects CRYSTAL focuses on an industry-driven approach using cross-domain user stories, domain-specific use cases, public use cases, and technology bricks. This shall have a significant impact to strengthen European competitiveness regarding new markets and societal applications. In building an overall interoperability domain embedded systems, CRYSTAL will contribute to establishing a standard for model-based systems engineering in a certification and safety context which is expected to have global impact. By bringing together large enterprises and various industrial domains CRYSTAL will setup a sustainable innovation eco-system. By harmonizing the demands in the development of safety-relevant embedded systems including multi-viewpoint engineering and variability management across different industrial domains, CRYSTAL will achieve a strong acceptance from both vendors and the open-source community. CRYSTAL will drive forward interoperability towards a de facto standard providing an interoperable European RTP. Approved by the JU on 20-03-2015


Grant
Agency: European Commission | Branch: FP7 | Program: JTI-CP-ARTEMIS | Phase: SP1-JTI-ARTEMIS-2011-1 | Award Amount: 13.18M | Year: 2012

In order to succeed or even to survive, manufacturers and system integrators must be able to deliver new products with speed, diversity, high quality, and at an acceptable cost. Embedded Systems (ES) are rarely entirely conceived from scratch. Companies developing ES constantly face decisions about using and adapting existing products or product assets versus new developments. Determining the long term risk and benefits of such decisions is very challenging. Complex ES are often produced by assembling parts supplied by different partners. This adds extra complexity that all actors in the supply chain need to manage. Safety critical ES product ecosystems require mechanisms allowing safe and trusted integration of ES components. Furthermore, safety critical ES need to comply with stringent safety standards. Determining the safety level based on individual parts safety characteristics is far from straightforward. The main goal of the VARIES project is to help ES developers to maximize the full potential of variability in safety critical ES. The objectives of this project will be therefore (i) to enable companies to make informed decisions on variability use in safety critical ES; (ii) to provide effective variability architectures and approaches for safety-critical ES; and (iii) to offer consistent, integrated and continuous variability management over the entire product life cycle. The VARIES project will deliver the VARIES Platform: a complete, cross-domain, multi-concern, state-of-the-art reference platform for managing variability in safety critical ES. Special attention will be given to aspects specific to safety critical ES, in particular the impact of reuse and composition on certification. In addition to this ambitious goal, the VARIES project will create a Center of Innovation Excellence (CoIE) for managing variability in ES. The VARIES CoIE will support the European ES industry on the 3 aforementioned objectives. APPROVED BY ARTEMIS_JU On 23rd April 2015 (partial transfer of rights from #14 ATEGO UK to #24 PTC). Part B description is for ATEGO UK \ PTC together


Amari S.V.,Parametric Technology (PTC) | Pham H.,Rutgers University | Misra R.B.,Secure Meters Ltd.
IEEE Transactions on Reliability | Year: 2012

We study reliability characteristics of the k-out-of-n warm standby system with identical components subject to exponential lifetime distributions. We derive state probabilities of the warm standby system in a form that is similar to the state probabilities of the active redundancy system. Subsequently, the system reliability is expressed in several forms that can provide new insights into the system reliability characteristics. We also show that all properties and computational procedures that are applicable for active redundancy are also applicable for the warm standby redundancy. As a result, it is shown that the system reliability can be evaluated using robust algorithms within {\cal O}(n-k+1) computational time. In addition, we provide closed-form expressions for the hazard rate, probability density function, and mean residual life function. We show that the time-to-failure distribution of the k-out-of-n warm standby system is equal to the beta exponential distribution. Subsequently, we derive closed-form expressions for the higher order moments of the system failure time. Further, we show that the reliability of the warm standby system can be calculated using well-established numerical procedures that are available for the beta distribution. We prove that the improvement in system reliability with an additional redundant component follows a negative binomial (Pólya) distribution, and it is log-concave in n. Similarly, we prove that the system reliability function is log-concave in n. Because the k-out-of-n system with active redundancy can be considered as a special case of the k-out-of-n warm standby system, we indirectly provide some new results for the active redundancy case as well. © 1963-2012 IEEE.


Grant
Agency: European Commission | Branch: H2020 | Program: CS2-RIA | Phase: JTI-CS2-2014-CFP01-LPA-03-03 | Award Amount: 5.19M | Year: 2015

The AIRMES project focusses on optimising end-to-end maintenance activities within an operators environment. It will develop and validate an innovative, state-of-the-art, integrated maintenance service architecture that will be a key step in achieving the goal of no technically-induced aircraft operational disruptions in European air traffic. The AIRMES consortium is led by an airline / MRO that has a clear vision, and is keen to exploit radically new and challenging ways to achieve their objectives. They are supported by expertise in systems health monitoring, semantics, knowledge based engineering, architecture, diagnostics, prognostics, maintenance planning and optimisation, and mobile tools for remote support of maintenance activities. Truly a unique consortium. The service architecture will be structured around an operationally focused collaborative environment IT platform, integrating multiple functionalities and it will accelerate the shift in European aviation, from scheduled maintenance to condition-based maintenance. By blending this knowledge based environment with mobile tools for remote support, using augmented reality technologies and two way communication solutions, the resulting service architecture will provide contextualised, updated and integrated information to all members of the maintenance value chain. The impact of this project on European Air Traffic will be significant. In Europe, 5.8% of all flights are delayed due to direct aircraft technical causes and consequential delays on subsequent flights; the cost of this disruption is estimated at 2.8 B. By reducing operational disruptions, reducing the average delay time and improving aircraft utilisation, through a grant value of 4.6 M, the impact of this 48 month, 12 partner AIRMES project will be significant and assessed to around 1B per year.


Amari S.V.,Parametric Technology (PTC)
International Journal of Performability Engineering | Year: 2012

Many fielded systems use cold standby redundancy as an effective system design strategy. However, methods for analyzing the reliability of k-out-of-n cold standby systems, particularly with components having age-dependent hazard rates, are limited. In this paper, using the concepts of counting processes, we propose an efficient method to evaluate the reliability of k-out-of-n cold standby systems. This proposed method considers Erlang distributions for component lives and the effects of switch failures on system reliability. The main advantage of this counting process-based method is that it reduces a complex problem involving multiple integrals into an equivalent simple problem involving one-dimensional convolution integrals. We consider the Erlang distribution for three reasons: (1) it can be used to model either constant or increasing hazard rates, (2) it can be used to approximate several component failure time distributions, and (3) it has well established closed-form expressions for calculating the convolutions that are used in the counting process-based method. We show that all steps involved in finding the reliability of k-out-of-n cold standby system using the proposed method are simple. We demonstrate the proposed method and its computational efficiency using a numerical example. © RAMS Consultants.


Amari S.V.,Parametric Technology (PTC)
Proceedings - Annual Reliability and Maintainability Symposium | Year: 2012

Cold standby redundancy is used as an effective mechanism for improving system reliability. However, methods for analyzing the reliability of k-out-of-n cold standby systems, particularly with components having age-dependent hazard (failure) rates, are limited. In this paper, using the concepts of counting processes, we propose an efficient method to evaluate the reliability of k-out-of-n cold standby systems. This proposed method considers gamma distributions for component lives and the effects of switch failures on system reliability. The main advantage of this counting process-based method is that it reduces a complex problem involving multiple integrals into an equivalent simple problem involving one-dimensional convolution integrals. We consider the gamma distribution for three reasons: (1) it can be used to model increasing, decreasing, and constant hazard rates, similar to the Weibull distribution, (2) it can be used to approximate several component failure time distributions, and (3) it has well established algorithms for calculating the convolutions that are used in the counting process-based method. In addition, we can find closed-form solutions to the convolution of the gamma distribution when its shape parameter is equal to an integer. Hence, we show that all steps involved in finding the reliability of k-out-of-n cold standby system are simple. We demonstrate the proposed method and its computational efficiency using a numerical example. © 2012 IEEE.


Amari S.V.,Parametric Technology (PTC)
Proceedings - Annual Reliability and Maintainability Symposium | Year: 2011

Many practical systems are phased-mission systems where the mission consists of multiple, consecutive, non-overlapping phases. For the mission to be a success, the system must operate successfully during each of the phases. In each phase, the system has to accomplish a specific task and may be subject to different stresses. Thus, the system configuration, success criteria, and component failure behavior may change from phase to phase. An accurate reliability analysis of these systems must consider the statistical dependencies of component states across the phases. The consideration of these dynamic dependencies poses unique challenges to existing reliability analysis methods. In this paper, we propose an efficient method for exact reliability evaluation of a special class of phased-mission systems containing multiple subsystems where all components within a subsystem are identical. The configuration of each subsystem can change with the phases, including their active and inactive status, redundancy type, and minimum required working components. If any one of the required (active) subsystems is failed in a phase, the system is considered to be failed in that phase. We also consider the time-varying and phase-dependent failure rates and associated cumulative damage effects. From the published examples, it can be shown that the mild restrictions imposed on the system configuration are applicable for a wide range of practical systems. The proposed method, which can be applied to very large-scale systems, is based on conditional probabilities and an efficient recursive formula to compute these probabilities. The main advantage of this method is that both the computational time and memory requirements of the method are linear in terms of the system size. We demonstrate the efficiency of the proposed method using medium-scale to large-scale systems. The proposed method provides a simple, efficient, and accurate reliability analysis of practical and large-scale phased-mission systems. © 2011 IEEE.


Patent
Parametric Technology (PTC) | Date: 2010-06-07

The present invention provides a method, system, and instructions stored on a computer readable storage medium that resolve interference between surfaces in a modeling environment, such as a CAD environment. Further, exemplary embodiments of the present invention may modify the surfaces of a model to ensure that parts of the model constitute a solid body. In exemplary embodiments, when the manipulation of a first surface or set of surfaces causes interference with a second surface or set of surfaces, the topologies of the surfaces are modified to account for the interference. The individual surfaces involved in the intersection may be treated as a merged surface or set of surfaces having a single topology, surface area, and volume. If an ambiguity arises whereby more than one option exists for resolving the interference or providing a solid body, the modeling environment may provide multiple potential solutions to a user, and allow the user to select from among the solutions.


In modeling environments, a user typically interacts with a feature-based model by manipulating a feature of the model using a tool that is capable of achieving a number of different results with respect to the feature. An interface may be displayed that allows for manipulations to be made based on a result to be achieved, rather than by providing a generalized tool to achieve the result. Accordingly, the number of options that are presented on the interface may be reduced by eliminating extraneous options that are associated with the tool but not directly applicable to the desired result. A dynamic help system may be provided that provides targeted, dynamically-generated information relating to the result to be achieved. Furthermore, warnings may be displayed on the interface in real time during the model design process.

Loading Parametric Technology (PTC) collaborators
Loading Parametric Technology (PTC) collaborators