Academic literature on the topic 'Concurrent Component-Based Systems'

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Concurrent Component-Based Systems.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Concurrent Component-Based Systems"

1

Cleaveland, Rance. "Specification formalisms for component-based concurrent systems." ACM SIGSOFT Software Engineering Notes 25, no. 1 (January 2000): 42–43. http://dx.doi.org/10.1145/340855.340876.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Kapová, Lucia, and Steffen Becker. "Systematic Refinement of Performance Models for Concurrent Component-based Systems." Electronic Notes in Theoretical Computer Science 264, no. 1 (August 2010): 73–90. http://dx.doi.org/10.1016/j.entcs.2010.07.006.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Li, Yi, Weidi Sun, and Meng Sun. "Mediator: A component-based modeling language for concurrent and distributed systems." Science of Computer Programming 192 (June 2020): 102438. http://dx.doi.org/10.1016/j.scico.2020.102438.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Ali, Awad, Mohammed Bakri Bashir, Alzubair Hassan, Rafik Hamza, Samar M. Alqhtani, Tawfeeg Mohmmed Tawfeeg, and Adil Yousif. "Design-Time Reliability Prediction Model for Component-Based Software Systems." Sensors 22, no. 7 (April 6, 2022): 2812. http://dx.doi.org/10.3390/s22072812.

Full text
Abstract:
Software reliability is prioritised as the most critical quality attribute. Reliability prediction models participate in the prevention of software failures which can cause vital events and disastrous consequences in safety-critical applications or even in businesses. Predicting reliability during design allows software developers to avoid potential design problems, which can otherwise result in reconstructing an entire system when discovered at later stages of the software development life-cycle. Several reliability models have been built to predict reliability during software development. However, several issues still exist in these models. Current models suffer from a scalability issue referred to as the modeling of large systems. The scalability solutions usually come at a high computational cost, requiring solutions. Secondly, consideration of the nature of concurrent applications in reliability prediction is another issue. We propose a reliability prediction model that enhances scalability by introducing a system-level scenario synthesis mechanism that mitigates complexity. Additionally, the proposed model supports modeling of the nature of concurrent applications through adaption of formal statistical distribution toward scenario combination. The proposed model was evaluated using sensors-based case studies. The experimental results show the effectiveness of the proposed model from the view of computational cost reduction compared to similar models. This reduction is the main parameter for scalability enhancement. In addition, the presented work can enable system developers to know up to which load their system will be reliable via observation of the reliability value in several running scenarios.
APA, Harvard, Vancouver, ISO, and other styles
5

Bajunaid, Noor, and Daniel A. Menascé. "Efficient modeling and optimizing of checkpointing in concurrent component-based software systems." Journal of Systems and Software 139 (May 2018): 1–13. http://dx.doi.org/10.1016/j.jss.2018.01.032.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Pham, Thanh-Trung, Xavier Défago, and Quyet-Thang Huynh. "Reliability prediction for component-based software systems: Dealing with concurrent and propagating errors." Science of Computer Programming 97 (January 2015): 426–57. http://dx.doi.org/10.1016/j.scico.2014.03.016.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Autili, Marco, Leonardo Mostarda, Alfredo Navarra, and Massimo Tivoli. "Synthesis of decentralized and concurrent adaptors for correctly assembling distributed component-based systems." Journal of Systems and Software 81, no. 12 (December 2008): 2210–36. http://dx.doi.org/10.1016/j.jss.2008.04.006.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Aoumeur, Nasreddine, and Gunter Saake. "Dynamically evolving concurrent information systems specification and validation: a component-based Petri nets proposal." Data & Knowledge Engineering 50, no. 2 (August 2004): 117–73. http://dx.doi.org/10.1016/j.datak.2003.10.005.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Chen, Bin, Jie Hu, Jin Qi, and Weixing Chen. "Concurrent multi-process graph-based design component synthesis: Framework and algorithm." Engineering Applications of Artificial Intelligence 97 (January 2021): 104051. http://dx.doi.org/10.1016/j.engappai.2020.104051.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Pujari, Niharika, Abhishek Ray, and Jagannath Singh. "An efficient and precise dynamic slicing for concurrent component-oriented programs." International Journal of Knowledge-based and Intelligent Engineering Systems 25, no. 4 (February 18, 2022): 449–64. http://dx.doi.org/10.3233/kes-210088.

Full text
Abstract:
A dynamic slicing algorithm is proposed in this paper along with its implementation which is dynamic for concurrent Component-oriented programs carrying multiple threads. As a part of representing the concurrent COP (CCOP) effectively, an intermediate graph is developed called Concurrent Component Dependency Graph (CCmDG). The system dependence graph (SDG) for individual components and interfaces are integrated to represent the above intermediate graph. It also consists of some new dependence edges which have been triggered for connecting the individual dependence graph of each component with the interface. Based on the graph created for the CCOP, a dynamic slicing algorithm is proposed, which sets the resultant by making the executed nodes marked during run time in Concurrent Components Dynamic Slicing (CCmDS) appropriately. For checking the competence of our algorithm, five case studies have been considered and also compared with an existing technique. From the study, we found that our algorithm results in smaller and precise size slice compared to the existing algorithm in less time.
APA, Harvard, Vancouver, ISO, and other styles

Dissertations / Theses on the topic "Concurrent Component-Based Systems"

1

Farhat, Salman. "Safe Dynamic Reconfiguration of Applications with Features." Electronic Thesis or Diss., Université de Lille (2022-....), 2024. http://www.theses.fr/2024ULILB014.

Full text
Abstract:
Les applications déployées sur des environnement de type Cloud ou sur des systèmes cyber-physiques nécessitent une reconfiguration fréquente pendant leur exécution pour s'adapter à l'évolution des besoins et des exigences, ce qui souligne l'importance des capacités de reconfiguration dynamique. En outre, ces environnements peuvent étendre et modifier leurs services en cours d'exécution, ce qui nécessite une approche compositionnelle pour permettre la modification des configurations. Pour gérer la variabilité de l'architecture des grands systèmes, les modèles de caractéristiques sont largement utilisés au moment de la conception, avec plusieurs opérateurs définis pour permettre leur composition. Les approches existantes calculent de nouvelles configurations valides soit au moment de la conception, soit au moment de l'exécution, soit les deux, ce qui entraîne d'importants temps de calcul ou de validation pour chaque étape de reconfiguration. En outre, la construction de modèles formels corrects par construction pour gérer les reconfigurations d'applications est une tâche complexe et sujette aux erreurs, et il est nécessaire de l'automatiser autant que possible.Pour relever ces défis, nous proposons une approche appelée FeCo4Reco qui s'appuie sur les modèles de caractéristiques pour générer automatiquement, dans un formalisme basé sur les composants appelé JavaBIP, des modèles de variabilité d'exécution basés sur les composants qui respectent les contraintes du modèle de caractéristiques. Ces modèles de variabilité d'exécution basés sur les composants sont exécutables et peuvent être utilisés à l'exécution pour appliquer les contraintes de variabilité, c'est-à-dire pour garantir la validité (partielle) de toutes les configurations atteignables.Comme les architectures des systèmes complexes peuvent évoluer à l'exécution en acquérant de nouvelles fonctionnalités tout en respectant de nouvelles contraintes, nous définissons des opérateurs de composition pour les modèles de variabilité à l'exécution basés sur des composants qui, non seulement encodent ces opérateurs de composition de modèles de caractéristiques, mais garantissent également une reconfiguration sûre à l'exécution. Pour prouver les propriétés de correction et de composition, nous proposons une nouvelle équivalence UP-bisimulation en plusieurs étapes et l'utilisons pour montrer que les modèles de variabilité d'exécution basés sur les composants préservent la sémantique des modèles de fonctionnalités composés.Pour l'évaluation expérimentale, nous avons démontré l'applicabilité de notre approche dans des scénarios réels en générant un modèle d'exécution basé sur le modèle de caractéristiques de la plateforme cloud Heroku à l'aide de notre approche. Ce modèle est ensuite utilisé pour déployer une application web réelle sur la plateforme Heroku. En outre, nous avons mesuré les surcharges de temps et de mémoire induites par les modèles d'exécution générés sur des systèmes impliquant jusqu'à 300 fonctionnalités. Les résultats montrent que les surcharges sont négligeables, ce qui démontre l'intérêt pratique de notre approche
Cloud applications and cyber-physical systems require frequent reconfiguration at run-time to adapt to changing needs and requirements, highlighting the importance of dynamic reconfiguration capabilities. Additionally, the environment platforms can extend and modify their services at run-time, which necessitates a compositional approach to allow the modifications of the configurations. To manage the variability of large systems' architecture, feature models are widely used at design-time with several operators defined to allow their composition. Existing approaches compute new valid configurations either at design time, at runtime, or both, leading to significant computational or validation overheads for each reconfiguration step. In addition, building correct-by-construction formal models to handle application reconfigurations is a complex and error-prone task, and there is a need to make it automated as far as possible.To address these challenges, we propose an approach named FeCo4Reco that leverages feature models to automatically generate, in a component-based formalism called JavaBIP, component-based run-time variability models that respect the feature model constraints. These component-based run-time variability models are executable and can be used at runtime to enforce the variability constraints, that is, to ensure the (partial) validity of all reachable configurations.As complex systems' architectures may evolve at run-time by acquiring new functionalities while respecting new constraints, we define composition operators for component-based run-time variability models that not only encode these feature model composition operators, but also ensure safe run-time reconfiguration. To prove the correctness and compositionality properties, we propose a novel multi-step UP-bisimulation equivalence and use it to show that the component-based run-time variability models preserve the semantics of the composed feature models.For the experimental evaluation, we demonstrated the applicability of our approach in real-world scenarios by generating a run-time model based on the feature model of the Heroku cloud platform using our approach. This model is then used to deploy a real-world web application on the Heroku platform. Furthermore, we measured the time and memory overheads induced by the generated run-time models on systems involving up to 300 features. The results show that the overheads are negligible, demonstrating the practical interest of our approach
APA, Harvard, Vancouver, ISO, and other styles
2

"A Distributed Component-based Software Framework for Laboratory Automation Systems." Master's thesis, 2012. http://hdl.handle.net/2286/R.I.15945.

Full text
Abstract:
abstract: Laboratory automation systems have seen a lot of technological advances in recent times. As a result, the software that is written for them are becoming increasingly sophisticated. Existing software architectures and standards are targeted to a wider domain of software development and need to be customized in order to use them for developing software for laboratory automation systems. This thesis proposes an architecture that is based on existing software architectural paradigms and is specifically tailored to developing software for a laboratory automation system. The architecture is based on fairly autonomous software components that can be distributed across multiple computers. The components in the architecture make use of asynchronous communication methodologies that are facilitated by passing messages between one another. The architecture can be used to develop software that is distributed, responsive and thread-safe. The thesis also proposes a framework that has been developed to implement the ideas proposed by the architecture. The framework is used to develop software that is scalable, distributed, responsive and thread-safe. The framework currently has components to control very commonly used laboratory automation devices such as mechanical stages, cameras, and also to do common laboratory automation functionalities such as imaging.
Dissertation/Thesis
Thesis Presentation
M.S. Computer Science 2012
APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "Concurrent Component-Based Systems"

1

Pujari, Niharika, Abhishek Ray, and Jagannath Singh. "Slicing Based on Web Scrapped Concurrent Component." In Advances in Intelligent Systems and Computing, 275–89. Singapore: Springer Singapore, 2020. http://dx.doi.org/10.1007/978-981-15-5400-1_29.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Autili, Marco, Michele Flammini, Paola Inverardi, Alfredo Navarra, and Massimo Tivoli. "Synthesis of Concurrent and Distributed Adaptors for Component-Based Systems." In Software Architecture, 17–32. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11966104_3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Rodrigues, Genaína, David Rosenblum, and Sebastian Uchitel. "Using Scenarios to Predict the Reliability of Concurrent Component-Based Software Systems." In Fundamental Approaches to Software Engineering, 111–26. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/978-3-540-31984-9_9.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Buchs, Didier, David Hurzeler, and Sandro Costa. "Component Based Dependable System Modelling for Easier Verification." In Concurrency in Dependable Computing, 61–83. Boston, MA: Springer US, 2002. http://dx.doi.org/10.1007/978-1-4757-3573-4_4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Bliudze, Simon, and Joseph Sifakis. "A Notion of Glue Expressiveness for Component-Based Systems." In CONCUR 2008 - Concurrency Theory, 508–22. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008. http://dx.doi.org/10.1007/978-3-540-85361-9_39.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Schmidt, Heinz W., and Ralf H. Reussner. "Generating Adapters for Concurrent Component Protocol Synchronisation." In Formal Methods for Open Object-Based Distributed Systems V, 213–29. Boston, MA: Springer US, 2002. http://dx.doi.org/10.1007/978-0-387-35496-5_15.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Habte, Bedilu, and Udo F. Meißner. "Development of Component Based Integrated Software System for the Design of Building Foundations." In Advances in Concurrent Engineering, 547–51. Boca Raton: CRC Press, 2023. http://dx.doi.org/10.1201/9781003423508-73.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Zernadji, Tarek, Raida Elmansouri, and Allaoua Chaoui. "An Approach to Formal Specification of Component-Based Software." In Handbook of Research on E-Services in the Public Sector, 34–42. IGI Global, 2011. http://dx.doi.org/10.4018/978-1-61520-789-3.ch004.

Full text
Abstract:
Current research on software reuse in Component Based Software Engineering (CBSE) covers a variety of fields, including component design, component specification, component composition, component-based framework. CBSE is quickly becoming a mainstream approach to software development and most researchers are hoping that it will be solutions to all the problems that led to software crisis. The software engineering techniques specific to this discipline, in phases such as modeling, verification or validation of component based software systems still insufficient and need more research efforts. ECATNets (Extended Concurrent Algebraic Term Nets) are frameworks for specification, modeling and validation of concurrent and distributed systems. They are characterized by their semantics defined in terms of rewriting logic. The objective of this article is to propose a formal specification of software components by using ECATNets formalism. The expected benefits of this work are: Offer a formal notation for describing the different features of concurrent and distributed software components; Defining a formal unambiguous semantic to describe behavior of the composed system.
APA, Harvard, Vancouver, ISO, and other styles
9

Lu, Jing, Weiru Chen, Osei Adjei, and Malcolm Keech. "Sequential Patterns Postprocessing for Structural Relation Patterns Mining." In Business Information Systems, 787–806. IGI Global, 2010. http://dx.doi.org/10.4018/978-1-61520-969-9.ch049.

Full text
Abstract:
Sequential patterns mining is an important data-mining technique used to identify frequently observed sequential occurrence of items across ordered transactions over time. It has been extensively studied in the literature, and there exists a diversity of algorithms. However, more complex structural patterns are often hidden behind sequences. This article begins with the introduction of a model for the representation of sequential patterns—Sequential Patterns Graph—which motivates the search for new structural relation patterns. An integrative framework for the discovery of these patterns–Postsequential Patterns Mining–is then described which underpins the postprocessing of sequential patterns. A corresponding data-mining method based on sequential patterns postprocessing is proposed and shown to be effective in the search for concurrent patterns. From experiments conducted on three component algorithms, it is demonstrated that sequential patterns-based concurrent patterns mining provides an efficient method for structural knowledge discovery.
APA, Harvard, Vancouver, ISO, and other styles
10

Barrouillet, Pierre, and Valérie Camos. "The Time-Based Resource-Sharing Model of Working Memory." In Working Memory, 85–115. Oxford University Press, 2020. http://dx.doi.org/10.1093/oso/9780198842286.003.0004.

Full text
Abstract:
The time-based resource-sharing model considers working memory as the workspace in which mental representations are built, maintained, and transformed for completing goal-oriented tasks. Its main component is made of an episodic buffer and a procedural system that form an executive loop in which processing and storage share domain-general attentional resources on a temporal basis. Because working memory representations decay with time when attention is diverted, the cognitive load of a given activity is the proportion of time during which it occupies attention and prevents it from counteracting this decay through attentional refreshing. Consequently, recall in working memory tasks is an inverse function of the cognitive load of concurrent processing. Besides this system, an independent domain-specific maintenance system exists for verbal, but not visuospatial, information. Within this framework, working memory development mainly results from increasing processing speed that affects both the duration of the distraction of attention by concurrent tasks and refreshing efficiency.
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Concurrent Component-Based Systems"

1

Lau, Kung-Kiu, and Ioannis Ntalamagkas. "Component-Based Construction of Concurrent Systems with Active Components." In 2009 35th Euromicro Conference on Software Engineering and Advanced Applications. IEEE, 2009. http://dx.doi.org/10.1109/seaa.2009.45.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Bajunaid, Noor, and Daniel A. Menasce. "Analytic Models of Checkpointing for Concurrent Component-Based Software Systems." In ICPE '17: ACM/SPEC International Conference on Performance Engineering. New York, NY, USA: ACM, 2017. http://dx.doi.org/10.1145/3030207.3030209.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Kong, Byeong Yong, Jooseung Lee, and In-Cheol Park. "A Low-Latency Multi-Touch Detector Based on Concurrent Processing of Redesigned Overlap Split and Connected Component Analysis." In 2020 IEEE International Symposium on Circuits and Systems (ISCAS). IEEE, 2020. http://dx.doi.org/10.1109/iscas45731.2020.9180986.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Foong, Shaohui, Xianmin Chen, and Kok-Meng Lee. "Optimized Distributed Field-Based Sensing for Control of Voice Coil Motor." In ASME 2011 Dynamic Systems and Control Conference and Bath/ASME Symposium on Fluid Power and Motion Control. ASMEDC, 2011. http://dx.doi.org/10.1115/dscc2011-5999.

Full text
Abstract:
A magnetic field-based sensing system utilizing statistically optimized concurrent multi-sensor outputs for non-contact precise field-position association is presented. The rationale and principle of capitalizing on simultaneous spatial field measurements to induce unique correspondence between field and position to achieve accurate translational motion over large travel distances for feedback control is illustrated using a single-source-multi-sensor configuration. Principal component analysis (PCA) is used as a pseudo filter to optimally reduce the dimension of the multi-sensor output space for field-position mapping with artificial neural networks (ANNs). The effects of PCA on the sensing accuracy and closed-loop tracking performance are experimentally investigated using a voice-coil motor and a 9 sensor network with an optical encoder as a comparison.
APA, Harvard, Vancouver, ISO, and other styles
5

Flores, Rogelio, C. Greg Jensen, and Jon Shelley. "A Web Enabled Process for Accessing Customized Parametric Designs." In ASME 2002 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. ASMEDC, 2002. http://dx.doi.org/10.1115/detc2002/dac-34078.

Full text
Abstract:
Parametric design facilitates mass customization, concurrent engineering, optimization, and other product development integration processes used during preliminary and detailed design stages. Automated methods for regenerating and accessing parametric models can significantly reduce the time-to-market of new products. Applications that automate this process have inherent limitations based on the available features in commercial CAD systems. New technologies such as the component technology, used in conjunction with parametric and Internet-based design can eliminate current limitations of CAD applications based on Application Programming Interfaces. Joint educational/industrial examples will be used to illustrate where limitations have been reached with custom CAD applications built on commercial systems lacking the component technology. Furthermore, the CAD Services framework for the development of CAD and Computer-aided Manufacturing/Engineering (CAM/CAE) applications using the component technology will be discussed.
APA, Harvard, Vancouver, ISO, and other styles
6

Goodwin, Jesse, Kathryn Kelly, Melissa Foley, Christopher Saldana, Thomas Kurfess, and Kyle Saleeby. "Positioning Accuracy in a Concurrent Robot-CNC Hybrid Manufacturing System." In ASME 2024 19th International Manufacturing Science and Engineering Conference. American Society of Mechanical Engineers, 2024. http://dx.doi.org/10.1115/msec2024-121212.

Full text
Abstract:
Abstract Additive manufacturing (AM) has gained notoriety for offering advantages over traditional manufacturing methods, such as increased design complexity and flexibility. However, it has not found widespread use beyond rapid prototyping. One hindrance to the acceptance of AM processes in industry is the time and cost of fabrication per component. While metal AM by itself can be inexpensive, extra manufacturing steps in the form of subtractive manufacturing (SM) may need to be performed to reach final part tolerances, leading to hybrid additive-subtractive manufacturing (HASM) of a part, which increases time and cost. A potential area to reduce cost is through increasing the efficiency of the HASM process by conducting additive and subtractive manufacturing simultaneously. Usually, HASM is performed in a process where AM is completed in one machine or cell and transferred to another machine or cell for SM in a sequential assembly line process. This efficiency decreases part cost, but high aspect ratio parts or parts with internal geometry that require interleaved additive deposition and machining cannot be produced. One unexplored solution to simultaneous HASM that allows for interleaved operations is to operate the deposition head and machining spindle concurrently within the same machine envelope, known as concurrent HASM (CHASM). In this type of process, both AM and SM occur simultaneously on a batch of small parts or a single large part, maintaining a high efficiency without sacrificing the full range of complex geometries that AM allows for. A potential approach to the single-machine method could be to combine a robot and mill within the same envelope. A challenge to this approach, however, is control of both systems. Most machine controllers have limited external communication or, if a robot has been integrated, only offer movement of either the robot or mill at any given time. As a result, systems must pause either the AM or SM process to switch between them rather than working simultaneously. The present work investigates the positional accuracy of such a CHASM system comprised of a robotic arm and a 3-axis mill. Open-loop tests with limited communication between machines are performed on the system to verify positional error during concurrent robot-mill movements. Under certain conditions, it is demonstrated that position error can stay within 2 mm for the duration of a single layer; however, these tests show that, generally, the open-loop positioning performance of the system is inadequate for CHASM without part-specific hand-tuning of parameters. Based on these results, a set of requirements for successful robot-CNC CHASM is proposed for future integrations.
APA, Harvard, Vancouver, ISO, and other styles
7

Sellgren, Ulf, and Cecilia Hakelius. "A Survey of PDM Implementation Projects in Selected Swedish Industries." In ASME 1996 Design Engineering Technical Conferences and Computers in Engineering Conference. American Society of Mechanical Engineers, 1996. http://dx.doi.org/10.1115/96-detc/eim-1132.

Full text
Abstract:
Abstract Technology and engineering might be characterized as becoming more knowledge-intensive. A huge amount of data is used and produced in most product development projects. Increasing competition requires shorter reaction time to customer demands and a higher level of innovation. Concurrent Engineering (CE) is a strategic response to competition. It has proved to be a powerful approach to integrating engineering activities in product development. However, integration and parallel activities, that is the essence of CE, add complexity to the process. Consequently, information management is recognized as a major component in many CE models. Product Data Management (PDM) systems are a class of computer based systems that address the need to manage product related information that is mainly formal and computer interpretable. PDM systems are sometimes referred to as CE enablers. Results from a resent survey of PDM implementation projects in six Swedish industrial companies, with products ranging from telecommunications systems to trucks and medical equipment, indicate the importance of also utilizing the Concurrent Engineering (CE) approach in the process of implementing an enterprise-wide PDM solution.
APA, Harvard, Vancouver, ISO, and other styles
8

Mazzara, Bill, and Issak Davidovich. "Integrating Functional and Component-Level Threat Analyses in Automotive Systems: A Holistic Approach to Risk Assessment." In WCX SAE World Congress Experience. 400 Commonwealth Drive, Warrendale, PA, United States: SAE International, 2024. http://dx.doi.org/10.4271/2024-01-2797.

Full text
Abstract:
<div class="section abstract"><div class="htmlview paragraph">Threat Analysis Risk Assessment (TARA) for automotive systems is standardized in ISO/SAE 21434. Traditionally these analyses have been bifurcated into either analysis focused on system functionality identifying impacts to assets based on the mission of the product, or analysis targeting vulnerabilities associated with the hardware and software of interfaces selected to be a part of a product. Furthermore, in the age of Software Defined Vehicles, the challenges to decouple use cases and the software that implements such from specific fixed hardware designs magnifies the disconnect between these risk methods. Use Case Based threat analysis, grounded in understanding features, stakeholders, and user stories, inherently yields security requirements tailored to specific functionalities and their contexts. While component-based threat analysis, derived from enumerations of vulnerabilities associated with interface choices, inherently yields security requirements tailored to specific defenses of these vulnerabilities. This paper will outline how a Use Case Based TARA partitions a user story into its assets and stakeholders and maintains traceability to risk through the development of that user story. This method's detailed approach ensures that cybersecurity requirements can be readily implemented as a part of feature design, addressing the concerns of feature owners directly. This paper will discuss the merits of asset based approach to cybersecurity over attack based recognizing the inherent strengths and limitations of both methods and underscores the need for a unified approach. Combining these analyses fosters a holistic view, ensuring that security requirements are both actionable and comprehensive. This paper provides the opportunity to point out the shift toward agile development and the need to provide incremental value on short intervals. This article delves into the intricacies of these concurrent threat analysis processes, highlighting the potential gaps and overlaps that may arise when treated in isolation. We argue that a fragmented approach not only leads to potential vulnerabilities but also results in redundancies, making the threat mitigation process inefficient.</div></div>
APA, Harvard, Vancouver, ISO, and other styles
9

Jadaan, Osama M., Lynn M. Powers, and John P. Gyekenyesi. "Creep Life Prediction of Ceramic Components Subjected to Transient Tensile and Compressive Stress States." In ASME 1997 International Gas Turbine and Aeroengine Congress and Exhibition. American Society of Mechanical Engineers, 1997. http://dx.doi.org/10.1115/97-gt-319.

Full text
Abstract:
The desirable properties of ceramics at high temperatures have generated interest in their use for structural applications such as in advanced turbine systems. Some of these ceramic components, such as vanes and rotors, are subjected to concurrent tensile and compressive stress fields. Design lives for such systems can exceed 10,000 hours. Such long life requirements necessitate subjecting the components to relatively low stresses. The combination of high temperatures and low stresses typically places failure for monolithic ceramics in the creep regime. The objective of this paper is to present a design methodology for predicting the lifetimes of structural components subjected to concurrent transient tensile and compressive creep stress states. In this methodology, failure generally starts at or near the most highly stressed point and subsequently propagates across the section. The creep rupture life is divided into two stages. The first is called the stage of latent failure. During this stage the damage accumulates until it becomes critical at some point within the component, and failure begins. Damage due to compressive stresses is assumed to be negligible. Subsequently, the second stage, named the propagation of failure, takes place. Component failure occurs at the end of this stage when the total carrying capacity of the structure is expended. This methodology utilizes commercially available finite element packages and takes into account the time varying creep stress distributions (stress relaxation). The creep life of a component is divided into short time steps, during which, the stress distribution is assumed constant. The damage is calculated for each time step based on a modified Monkmon-Grant creep rupture criterion. Failure is assumed to commence when the normalized accumulated damage at a point in the body is equal or greater than unity. For tensile/compressive stress states, rupture is assumed to take place when the damage zone is large enough so that the component is no longer able to sustain load. The corresponding time will be the creep rupture life for that component. Flexural and C-ring data of siliconized silicon carbide KX01 material are used to test the viability of this methodology. The NASA integrated design code CARES/Creep (Ceramics Analysis and Reliability Evaluation of Structures/Creep) which utilizes this damage accumulation model was used for this purpose. It was found that the methodology described in this paper yielded reasonable creep rupture life predictions given the amount of scatter in the data.
APA, Harvard, Vancouver, ISO, and other styles
10

Lee, David J., Soyoung S. Cha, and Narayanan Ramachandran. "Three-Dimensional High-Resolution Optical/X-Ray Stereoscopic Tracking Velocimetry." In ASME 2004 International Mechanical Engineering Congress and Exposition. ASMEDC, 2004. http://dx.doi.org/10.1115/imece2004-62450.

Full text
Abstract:
Measurement of three-dimensional (3-D) three-component velocity fields is of great importance in a variety of research and industrial applications for understanding materials processing, fluid physics, and strain/displacement measurements. The 3-D experiments in these fields most likely inhibit the use of conventional techniques, which are based only on planar and optically-transparent-field observation. Here, we briefly review the current status of 3-D diagnostics for motion/velocity detection, for both optical and x-ray systems. As an initial step for providing 3-D capabilities, we have developed stereoscopic tracking velocimetry (STV) to measure 3-D flow/deformation through optical observation. The STV is advantageous in system simplicity, for continually observing 3-D phenomena in near real-time. In an effort to enhance the data processing through automation and to avoid the confusion in tracking numerous markers or particles, artificial neural networks are employed to incorporate human intelligence. Our initial optical investigations have proven the STV to be a very viable candidate for reliably measuring 3-D flow motions. With previous activities are focused on improving the processing efficiency, overall accuracy, and automation based on the optical system, the current efforts is directed to the concurrent expansion to the x-ray system for broader experimental applications.
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Concurrent Component-Based Systems"

1

Yip, Eugene, and Gerald Lüttgen. Heterogeneous Specification of Spacecraft Software. Otto-Friedrich-Universität, 2024. http://dx.doi.org/10.20378/irb-97634.

Full text
Abstract:
The operational behaviour of a reactive system is commonly specified or modelled as concurrent state machines, where each machine models the possible states or modes of a software component and its interactions with the environment. However, state machines can quickly become verbose when execution constraints between concurrent states need to be modelled. Alternatively, constraints could be modelled declaratively as special edges between states. Such a heterogeneous modelling approach is employed by Virtual Satellite (VirSat), a model-based systems engineering tool from the German Aerospace Center (DLR). The challenge has been to develop a heterogeneous modelling framework that supports an operational and declarative syntax, defines a unified semantics suitable for formal reasoning, and supports the independent and incremental development of software components. We address this challenge with our Component State Machine (CSM) formalism as a means to operationalise VirSat: the operational syntax of VirSat is preserved in CSM, the declarative VirSat constraints are transformed into CSM atomic propositions and parallel conditions, the CSM parallel operator incrementally composes CSMs and resolves the parallel conditions, and design errors are analysed as inconsistent transitions. CSM permits new constraints to be defined without needing to modify the core VirSat semantics. We also propose an intuitive, practical, and mathematically rigorous notion of refinement that aims to encourage a more systematic development of spacecraft software. Lastly, we offer a modular implementation of CSMs as hierarchically scheduled Executable State Machines (ESMs) that remains open to further composition and refinement.
APA, Harvard, Vancouver, ISO, and other styles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography