Bibliografías temáticas / Concurrent Component-Based Systems

Índice

  1. Artículos de revistas
  2. Tesis
  3. Capítulos de libros
  4. Actas de conferencias
  5. Informes

Literatura académica sobre el tema "Concurrent Component-Based Systems"

Autor: Grafiati
Publicado: 14 de diciembre de 2024
Última modificación: 10 de julio de 2025

Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros

Elija tipo de fuente:

Consulte las listas temáticas de artículos, libros, tesis, actas de conferencias y otras fuentes académicas sobre el tema "Concurrent Component-Based Systems".

Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.

También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.

Artículos de revistas sobre el tema "Concurrent Component-Based Systems"

1

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
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 (2010): 73–90. http://dx.doi.org/10.1016/j.entcs.2010.07.006.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

Ali, Awad, Mohammed Bakri Bashir, Alzubair Hassan, et al. "Design-Time Reliability Prediction Model for Component-Based Software Systems." Sensors 22, no. 7 (2022): 2812. http://dx.doi.org/10.3390/s22072812.

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

Sirjani, Marjan, Boer Frank De, and Ali Movaghar. "Modular Verification of a Component-Based Actor Language." JUCS - Journal of Universal Computer Science 11, no. (10) (2005): 1695–717. https://doi.org/10.3217/jucs-011-10-1695.

Texto completo
Resumen
Rebeca is an actor­based language for modeling concurrent and distributed systems as a set of reactive objects which communicate via asynchronous message passing. Rebeca is extended to support synchronous communication, and at the same time components are introduced to encapsulate the tightly coupled reactive objects which may communicate by synchronous messages. This provide us a language for modeling globally asynchronous and locally synchronous systems. Components interact only by asynchronous messages. This feature and also the event-driven nature of the computation are exploited to introduce a modular verification approach in order to overcome the state explosion problem in model checking. In this paper we elaborate on the corresponding theory of the modular verification approach which is based on the formal semantics of components in extended Rebeca.
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

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 (2008): 2210–36. http://dx.doi.org/10.1016/j.jss.2008.04.006.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

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 (2004): 117–73. http://dx.doi.org/10.1016/j.datak.2003.10.005.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
Más fuentes

Tesis sobre el tema "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.

Texto completo
Resumen
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<br>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
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

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

Texto completo
Resumen
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.<br>Dissertation/Thesis<br>Thesis Presentation<br>M.S. Computer Science 2012
Los estilos APA, Harvard, Vancouver, ISO, etc.

Capítulos de libros sobre el tema "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. Springer Singapore, 2020. http://dx.doi.org/10.1007/978-981-15-5400-1_29.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
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. Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11966104_3.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
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. Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/978-3-540-31984-9_9.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
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. Springer US, 2002. http://dx.doi.org/10.1007/978-0-387-35496-5_15.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
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. CRC Press, 2023. http://dx.doi.org/10.1201/9781003423508-73.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
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. IGI Global, 2011. http://dx.doi.org/10.4018/978-1-61520-789-3.ch004.

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

Amaya García Andrés, Keller David, and May David. "OpenTransputer: Reinventing a Parallel Machine from the Past." In Concurrent Systems Engineering Series. IOS Press, 2018. https://doi.org/10.3233/978-1-61499-886-0-7.

Texto completo
Resumen
The OpenTransputer is a new implementation of the Transputer first launched by Inmos in 1985. It supports the same instruction set, but uses a different microarchitecture that takes advantage of today's manufacturing technology; this results in a reduced cycle count for many of the instructions. Our new Transputer includes support for channels that connect to input-output ports, enabling direct connection to external devices such as sensors, actuators and standard communication interfaces. We have also generalised the channel communications with the support of virtual channels and the design of a message routing component based on a Bene&amp;scaron; switch to enable the construction of networks with scalable throughput and low latency. We aim to make the OpenTransputer and switch components available as open-source designs.
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

Abramsky Samson. "Types, Orthogonality and Genericity: Some Tools for Communicating Process Architectures." In Concurrent Systems Engineering Series. IOS Press, 2008. https://doi.org/10.3233/978-1-58603-907-3-1.

Texto completo
Resumen
We shall develop a simple and natural formalization of the idea of client-server architectures, and, based on this, define a notion of orthogonality between clients and servers, which embodies strong correctness properties, and exposes the rich logical structure inherent in such systems. Then we generalize from pure clients and servers to components, which provide some services to the environment, and require others from it. We identify the key notion of composition of such components, in which some of the services required by one component are supplied by another. This allows complex systems to be built from ultimately simple components. We show that this has the logical form of the Cut rule, a fundamental principle of logic, and that it can be enriched with a suitable notion of behavioural types based on orthogonality, in such a way that correctness properties are preserved by composition. We also develop the basic ideas of how logical constructions can be used to develop structured interfaces for systems, with operations corresponding to logical rules. Finally, we show how the setting can be enhanced, and made more robust and expressive, by using names (as in the &amp;pi;-calculus) to allow clients to bind dynamically to generic instances of services.
Los estilos APA, Harvard, Vancouver, ISO, etc.

Actas de conferencias sobre el tema "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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
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. ACM, 2017. http://dx.doi.org/10.1145/3030207.3030209.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
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. SAE International, 2024. http://dx.doi.org/10.4271/2024-01-2797.

Texto completo
Resumen
&lt;div class="section abstract"&gt;&lt;div class="htmlview paragraph"&gt;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.&lt;/div&gt;&lt;/div&gt;
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.

Informes sobre el tema "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.

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
También puede estar interesado en las bibliografías ampliadas sobre el tema "Concurrent Component-Based Systems" para tipos de fuentes particulares:
Artículos de revistas
Ofrecemos descuentos en todos los planes premium para autores cuyas obras están incluidas en selecciones literarias temáticas. ¡Contáctenos para obtener un código promocional único!

Pasar a la bibliografía