Outlook on the worldwide value shipments of application specific integrated circuits; Reason for the delay in the rollout of technology; Viability of flash memory-based cores; Contribution of the communications industry to the use of embedded FPGA....
It is intended to design robust systems with fail-safe behaviour free of implementation faults by providing specifications of safety properties within the framework of a UML profile oriented at the prevailing safety standards, which can be incorporated into models of safety-related embedded real-time ...
Selic, B., Gerard, S.: Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE. Developing Cyber-Physical Systems. Elsevier (2014)Selic B and Gerard S 2014 Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE. Elsevier, dx.doi.org/10.1016/B978-0...
A non-sealed solid oxide fuel cell stack with cells embedded in plane configuration was fabricated and operated successfully in a box-like stainless-steel chamber. For a two-cell stack, it demonstrated an open circuit voltage (OCV) of 2.13?V and a maximum power output of 569?mW at the ...
Aniculaesei, and U. Goltz, "UML-based analysis of power consumption for real-time embedded systems," IEEE 10th International Conference on Trust, Security and Privacy in Computing and Commu- nications, TrustCom 2011, pp. 11961201, November 2011, ....
Goltz, "UML-Based Analysis of Power Consumption for Real-Time Embed- ded Systems," in 8th IEEE International Conference on Embedded Software and Systems (IEEE ICESS-11), Changsha, China, 2011, pp. 1196-1201.M. Hagner, A. Aniculaesei, and U. Goltz, "UML-Based Analysis of Power ...
In this paper, an automatic test case generation method using a custom parser and a satisfiability modulo theories (SMT) solver for a Unified Modeling Language (UML) software model is proposed. Using the proposed method, it is possible to generate test cases automatically regardless of the ...