Academic literature on the topic 'Embedded systeem'

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 'Embedded systeem.'

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 "Embedded systeem"

1

MIHAI, Razvan-Viorel, Alexandru RADU, and Ovidiu TABAN. "PROTOTYPING A LOW-COST EMBEDDED AIRSPEED SYSTEM." SCIENTIFIC RESEARCH AND EDUCATION IN THE AIR FORCE 19, no. 1 (July 31, 2017): 133–40. http://dx.doi.org/10.19062/2247-3173.2017.19.1.13.

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

Begalinova, A., and A. Shintemirov. "EMBEDDED GESTURE RECOGNITION SYSTEM FOR ROBOTIC APPLICATIONS." Eurasian Journal of Mathematical and Computer Applications 2, no. 1 (2014): 81–89. http://dx.doi.org/10.32523/2306-3172-2014-2-4-81-89.

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

Pattanaik, Balachandra, and Dr S. Chandrasekaran Dr S. Chandrasekaran. "Fault tolerant Automotive CAN Control Embedded System." Global Journal For Research Analysis 2, no. 1 (June 15, 2012): 57–59. http://dx.doi.org/10.15373/22778160/january2013/65.

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

Pattanaik, Balachandra, and Dr S. Chandrasekaran Dr S.Chandrasekaran. "Reliability in Automotive Embedded System using CAN." Indian Journal of Applied Research 2, no. 1 (October 1, 2011): 62–64. http://dx.doi.org/10.15373/2249555x/oct2012/20.

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

Mojarad, Roghayeh, and Hamid R. Zarandi. "Markov-Based Anomaly Correction in Embedded Systems." International Journal of Computer Theory and Engineering 8, no. 4 (August 2016): 272–79. http://dx.doi.org/10.7763/ijcte.2016.v8.1057.

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

KOPČÍK, Michal, and Ján JADLOVSKÝ. "EMBEDDED CONTROL SYSTEM FOR MOBILE ROBOTS WITH DIFFERENTIAL DRIVE." Acta Electrotechnica et Informatica 17, no. 3 (September 2017): 42–47. http://dx.doi.org/10.15546/aeei-2017-0025.

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

PRABHU, Dr S. R. BOSELIN, N. BALAKUMAR, and A. JOHNSON ANTONY. "Human Assistance Mechanism Using Real World Embedded Systems." International Journal of Innovative Research in Computer Science & Technology 5, no. 1 (January 31, 2017): 188–93. http://dx.doi.org/10.21276/ijircst.2017.5.1.3.

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

Niu, Jianna, George You Zhou, and Tong Wu. "Embedded Battery Energy Storage System for Diesel Engine Test Applications." International Journal of Materials, Mechanics and Manufacturing 3, no. 4 (2015): 294–98. http://dx.doi.org/10.7763/ijmmm.2015.v3.213.

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

J, Michael Jayaraj, Mounick Raj T, Venkatesh and G, and Vasanth Raj S. "Automated Switching Solar Power Grid Tie Inverter Using Embedded System." Bonfring International Journal of Power Systems and Integrated Circuits 9, no. 1 (March 29, 2019): 05–09. http://dx.doi.org/10.9756/bijpsic.9010.

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

Hwang, Man-Ho, Kyung-Min Yun, Soon-Cheol Kim, and Nam-Hyoung Lim. "A Study on the Optimized Cross-section of Embedded Rail System." Journal of the Korea Academia-Industrial cooperation Society 15, no. 4 (April 30, 2014): 2511–18. http://dx.doi.org/10.5762/kais.2014.15.4.2511.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Embedded systeem"

1

Bartoň, Jan. "Zařízení pro monitorování kvality elektrické sítě." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2020. http://www.nusl.cz/ntk/nusl-417254.

Full text
Abstract:
The diploma thesis deals with the parameters of electricity quality. The aim of this work is to design and implement a prototype device that will allow remote measurement of power quality. The proposed system uses NB-IoT technology for data transmission. The system enables remote measurement of important parameters of electrical energy, such as the magnitude of the supply voltage or the frequency of the electric network. The device can measure electric current, average voltage values and detect dip / swell voltage events. The device reads a sampled electrical signal suitable for harmonic analysis. The device has started to meet the requirements for measuring device of class S according to EN 61000-3-40.
APA, Harvard, Vancouver, ISO, and other styles
2

Tosun, Suleyman. "Reliability-centric system design for embedded systems." Related electronic resource: Current Research at SU : database of SU dissertations, recent titles available full text, 2005. http://wwwlib.umi.com/cr/syr/main.

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

Betlach, Radomír. "Řídící systém kogenerační jednotky se vzdáleným dohledem." Master's thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2014. http://www.nusl.cz/ntk/nusl-221150.

Full text
Abstract:
The subject of diploma thesis is to summarize problematic about control of cogeneration unit. There are explained some unexpected situations, which can obtain during operation of unit and necessary process for their safety resolving. Next goal is to design the conception of controlling system for currently used technology. Project describes whole conception of control system and its parts. Physical realization and programming firmware is also described. Last goal of diploma project is to launch operation of innovated cogeneration unit and let it undergo the tests.
APA, Harvard, Vancouver, ISO, and other styles
4

Cortés, Luis Alejandro. "A Petri Net based Modeling and Verification Technique for Real-Time Embedded Systems." Licentiate thesis, Linköping University, Linköping University, ESLAB - Embedded Systems Laboratory, 2001. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-5751.

Full text
Abstract:

Embedded systems are used in a wide spectrum of applications ranging from home appliances and mobile devices to medical equipment and vehicle controllers. They are typically characterized by their real-time behavior and many of them must fulfill strict requirements on reliability and correctness.

In this thesis, we concentrate on aspects related to modeling and formal verification of realtime embedded systems.

First, we define a formal model of computation for real-time embedded systems based on Petri nets. Our model can capture important features of such systems and allows their representations at different levels of granularity. Our modeling formalism has a welldefined semantics so that it supports a precise representation of the system, the use of formal methods to verify its correctness, and the automation of different tasks along the design process.

Second, we propose an approach to the problem of formal verification of real-time embedded systems represented in our modeling formalism. We make use of model checking to prove whether certain properties, expressed as temporal logic formulas, hold with respect to the system model. We introduce a systematic procedure to translate our model into timed automata so that it is possible to use available model checking ools. Various examples, including a realistic industrial case, demonstrate the feasibility of our approach on practical applications.

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

Eldh, Erik. "Cloud connectivity for embedded systems." Thesis, KTH, Kommunikationssystem, CoS, 2013. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-118746.

Full text
Abstract:
Deploying an embedded system to act as a controller for electronics is not new.  Today these kinds of systems are all around us and are used for a multitude of purposes. In contrast, cloud computing is a relatively new approach for computing as a whole. This thesis project explores these two technologies in order to create a bridge between these two wildly different platforms. Such a bridge should enable new ways of exposing features and doing maintenance on embedded devices. This could save companies not only time and money while dealing with maintenance tasks for embedded systems, but this should also avoid the needed to host this maintenance software on dedicated servers – rather these tasks could use cloud resources only when needed. This thesis explores such a bridge and presents techniques suitable for joining these two computing paradigms together. Exploring what is included in cloud computing by examining available technologies for deployment is important to be able to get a picture of what the market has to offer. More importantly is how such a deployment can be done and what the benefits are. How technologies such as databases, load-balancers, and computing environments have been adapted to a cloud environment and what draw-backs and new features are available in this environment are of interest and how a solution can exploit these features in a real-world scenario.  Three different cloud providers and their products have been presented in order to create an overview of the current offerings.  In order to realize a solution a way of communicating and exchanging data is presented and discussed. Again to realize the concept in a real-world scenario. This thesis presents the concept of cloud connectivity for embedded systems. Following this the thesis describes a prototype of how such a solution could be realized and utilized. The thesis evaluates current cloud providers in terms of the requirements of the prototype. A middle-ware solution drawing strengths from the services offered by cloud vendors for deployment at a vendor is proposed. This middle-ware acts in a stateless manner to provide communication and bridging of functionality between two parties with different capabilities. This approach creates a flexible common ground for end-user clients and reduces the burden of having the embedded systems themselves process and distribute information to the clients.  The solution also provides and abstraction of the embedded systems further securing the communication with the systems by it only being enabled for valid middle-ware services.
Att använda ett inbyggt system som en kontrollenhet för elektronik är inget nytt. Dessa typer av system finns idag överallt och används i vidt spridda användningsområden medans datormolnet är en ny approach för dator användning i sin helhet. Utforska och skapa en länk mellan dessa två mycket olika platformar för att facilitera nya tillvägagångs sätt att sköta underhåll sparar företag inte tid och pengar när det kommer till inbyggda system utan också när det gäller driften för servrar. Denna examensarbete utforskar denna typ av länk och presenterar för endamålet lämpliga tekniker att koppla dem samman medans lämpligheten för en sådan lösning diskuteras. Att utforska det som inkluderas i konceptet molnet genom att undersöka tillgängliga teknologier för utveckling är viktigt för att få en bild av vad marknaden har att erbjuda. Mer viktigt är hur utveckling går till och vilka fördelarna är. Hur teknologoier som databaser, last distrubutörer och server miljöer har adapterats till molnmiljön och vilka nackdelar och fördelar som kommit ut av detta är av intresse och vidare hur en lösning kan använda sig av dessa fördelar i ett verkliget scenario. Tre olika moln leverantörer och deras produkter har presenterats för att ge en bild av vad som för tillfället erbjuds. För att realisera en lösning har ett sett att kommunicera och utbyta data presenterats och diskuterats. Åter igen för att realisera konceptet i ett verkligt scenario. Denna uppsats presenterar konceptet moln anslutbarhet för inbyggda system för att kunna få en lösning realiserad och använd. En mellanprograms lösning som drar styrka ifrån de tjänster som erbjudas av molnleverantörer för driftsättning hos en leverantor föreslås. Denna mellanprogramslösnings agerar tillståndslöst för att erbjuda kommunikation och funktions sammankoppling mellan de två olika deltagarna som har olika förutsätningar. Denna approach skapar en flexibel gemensam plattform för olika klienter hos slutanvändaren och minskar bördan hos de inbyggdasystemet att behöva göra analyser och distrubuera informationen till klienterna. Denna lösning erbjuder också en abstraktion av de inbyggdasystemen för att erbjuda ytterligare säkerhet när kommunikation sker med de inbyggdasystemet genom att den endast sker med giltiga mellanprogram.
APA, Harvard, Vancouver, ISO, and other styles
6

Hänninen, Kaj. "Introducing a Memory Efficient Execution Model in a Tool-Suite for Real-Time Systems /." Västerås : Department of Computer Science and Electronics, Mälardalen University, 2006. http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-152.

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

Sundmark, Daniel. "Structural System-Level Testing of Embedded Real-Time Systems." Doctoral thesis, Västerås : School of Innovation, Design and Engineering, Mälardalen University, 2008. http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-488.

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

Vallius, T. (Tero). "An embedded object approach to embedded system development." Doctoral thesis, University of Oulu, 2009. http://urn.fi/urn:isbn:9789514292941.

Full text
Abstract:
Abstract Building an embedded system from an idea to a product is a slow and expensive process requiring a lot of expertise. Depending on the developer’s expertise, the required quantity and price level of the final product, and the time and money available for development, the developer can build a device from different granularity of components, ranging from ready-made platforms, kits, and modules to individual components. Generally, solutions requiring less expertise, time and money produce products with higher production costs. The main contribution of this thesis is the EOC (Embedded Object Concept) and Atomi II Framework. EOC utilizes common object-oriented methods used in software by applying them to small electronic modules, which create complete functional entities. The conceptual idea of the embedded objects is implemented with the Atomi II framework, which contains several techniques for making the EOC a commercially feasible implementation. The EOC and the Atomi II Framework decreases the difficulty level of making embedded systems by enabling a use of ready-made modules to build systems. It enables automatic conversion of a device made from such modules into an integrated PCB, lowering production costs compared to other modular approaches. Furthermore, it also enables an automatic production tester generation due to its modularity. These properties lower the number of skills required for building an embedded system and quicken the path from an idea to a commercially applicable device. A developer can also build custom modules of his own if he possesses the required expertise. The test cases demonstrate the Atomi II Framework techniques in real world applications, and demonstrate the capabilities of Atomi objects. According to our test cases and estimations, an Atomi based device becomes approximately 10% more expensive than a device built from individual components, but saves up to 50% time, making it feasible to manufacture up to 10-50k quantities with this approach.
APA, Harvard, Vancouver, ISO, and other styles
9

Wiklander, Jimmie. "Component-based software design of embedded real-time systems." Licentiate thesis, Luleå : Luleå University of Technology, 2009. http://pure.ltu.se/ws/fbspretrieve/3318285.

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

Dunkels, Adam. "Programming Memory-Constrained Networked Embedded Systems. PhD thesis." Doctoral thesis, Västerås : Department of Computer Science and Electronics, Mälardalen University, 2007. http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-173.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Embedded systeem"

1

service), SpringerLink (Online, ed. Embedded System Design: Embedded Systems Foundations of Cyber-Physical Systems. Dordrecht: Springer Science+Business Media B.V., 2011.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Iniewski, Krzysztof, ed. Embedded Systems. Hoboken, NJ, USA: John Wiley & Sons, Inc., 2012. http://dx.doi.org/10.1002/9781118468654.

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

Kündig, A., R. E. Bührer, and J. Dähler, eds. Embedded Systems. Berlin/Heidelberg: Springer-Verlag, 1987. http://dx.doi.org/10.1007/bfb0016343.

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

Kordon, Fabrice, Jérôme Hugues, Agusti Canals, and Alain Dohet, eds. Embedded Systems. Hoboken, NJ USA: John Wiley & Sons, Inc., 2013. http://dx.doi.org/10.1002/9781118569535.

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

How, W. L. Embedded system modelling. Manchester: UMIST, 1993.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

Baron, Claude. Embedded System Applications. Boston, MA: Springer US, 1997.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

Zhang, Xing, Zhonghai Wu, and Xingmian Sha, eds. Embedded System Technology. Singapore: Springer Singapore, 2015. http://dx.doi.org/10.1007/978-981-10-0421-6.

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

Marwedel, Peter. Embedded System Design. Dordrecht: Springer Netherlands, 2011. http://dx.doi.org/10.1007/978-94-007-0257-8.

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

Gajski, Daniel D., Samar Abdi, Andreas Gerstlauer, and Gunar Schirner. Embedded System Design. Boston, MA: Springer US, 2009. http://dx.doi.org/10.1007/978-1-4419-0504-8.

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

Baron, Claude, Jean-Claude Geffroy, and Gilles Motet, eds. Embedded System Applications. Boston, MA: Springer US, 1997. http://dx.doi.org/10.1007/978-1-4757-2574-2.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Embedded systeem"

1

Weik, Martin H. "embedded system." In Computer Science and Communications Dictionary, 511. Boston, MA: Springer US, 2000. http://dx.doi.org/10.1007/1-4020-0613-6_6077.

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

Evers, Sander, Arjen Hommersom, Peter Lucas, Carmen Cochior, and Paul van den Bosch. "Reasoning with Uncertainty about System Behaviour: Making Printing Systems Adaptive." In Embedded Systems, 125–58. New York, NY: Springer New York, 2013. http://dx.doi.org/10.1007/978-1-4614-4821-1_5.

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

Marwedel, Peter. "System Software." In Embedded Systems, 197–230. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-56045-8_4.

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

Marwedel, Peter. "System Software." In Embedded Systems, 203–37. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-60910-8_4.

Full text
Abstract:
AbstractIn order to cope with the complexity of applications of embedded systems, reuse of components is a key technique. As pointed out by Sangiovanni-Vincentelli (The context for platform-based design. IEEE Design and Test of Computers, 2002), software and hardware components must be reused in the platform-based design methosdology (see p. 296). These components comprise knowledge from earlier design efforts and constitute intellectual property (IP). Standard software components that can be reused include system software components such as embedded operating systems (OSs) and middleware. The last term denotes software that provides an intermediate layer between the OS and application software. This chapter starts with a description of general requirements for embedded operating systems. This includes real-time capabilities as well as adaptation techniques to provide just the required functionality. Mutually exclusive access to resources can result in priority inversion, which is a serious problem for real-time systems. Priority inversion can be circumvented with resource access protocols. We will present three such protocols: the priority inheritance, priority ceiling, and stack resource protocols. A separate section covers the ERIKA real-time system kernel. Furthermore, we will explain how Linux can be adapted to systems with tight resource constraints. Finally, we will provide pointers for additional reusable software components, like hardware abstraction layers (HALs), communication software, and real-time data bases. Our description of embedded operating systems and of middleware in this chapter is consistent with the overall design flow.
APA, Harvard, Vancouver, ISO, and other styles
5

Komatsu, Naohisa, and Manabu Nakano. "Embedded Systems." In Encyclopedia of Biometrics, 397–401. Boston, MA: Springer US, 2015. http://dx.doi.org/10.1007/978-1-4899-7488-4_287.

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

Komatsu, Naohisa, and Manabu Nakano. "Embedded Systems." In Encyclopedia of Biometrics, 255–59. Boston, MA: Springer US, 2009. http://dx.doi.org/10.1007/978-0-387-73003-5_287.

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

Maskrey, Molly K. "Embedded Systems." In App Development Recipes for iOS and watchOS, 201–23. Berkeley, CA: Apress, 2016. http://dx.doi.org/10.1007/978-1-4842-1820-4_9.

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

Lann, Gerard. "Proof-based system engineering and embedded systems." In Lectures on Embedded Systems, 208–48. Berlin, Heidelberg: Springer Berlin Heidelberg, 1998. http://dx.doi.org/10.1007/3-540-65193-4_23.

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

Bräunl, Thomas. "RoBIOS Operating System." In Embedded Robotics, 25–41. Berlin, Heidelberg: Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/978-3-662-05099-6_3.

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

Marwedel, Peter. "Embedded System Hardware." In Embedded Systems, 125–96. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-56045-8_3.

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

Conference papers on the topic "Embedded systeem"

1

Islam, Sifat, Ravi Shankar, Ankur Agarwal, Andrew Katan, and Cyril-Daniel Iskander. "Concurrency Compliant Embedded System Modeling Methodology." In 2008 2nd Annual IEEE Systems Conference. IEEE, 2008. http://dx.doi.org/10.1109/systems.2008.4519019.

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

Issa, Omneya, Jean-Charles Gregoire, Yacine Belala, and James Wong. "3G Embedded Communication System for Medical Applications." In 2008 2nd Annual IEEE Systems Conference. IEEE, 2008. http://dx.doi.org/10.1109/systems.2008.4518991.

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

Dagli, Cihan, and Mark S. Anderson. "Systems Architecting Heuristics for Systems Engineering Management and Embedded Systems Engineering." In 2007 1st Annual IEEE Systems Conference. IEEE, 2007. http://dx.doi.org/10.1109/systems.2007.374683.

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

Lauer, Christoph, Reinhard German, and Jens Pollmer. "Discrete event simulation and analysis of timing problems in automotive embedded systems." In 2010 4th Annual IEEE Systems Conference. IEEE, 2010. http://dx.doi.org/10.1109/systems.2010.5482497.

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

Ferent, Cristian, Michael Gilberti, and Alex Doboli. "Real-time gas cloud detection by data aggregation in networks of embedded sensors." In 2010 4th Annual IEEE Systems Conference. IEEE, 2010. http://dx.doi.org/10.1109/systems.2010.5482472.

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

Sapienza, G., N. Meli, J. Eriksson, R. Jansson, T. Seceleanu, and I. Crnkovic. "System Level Partitioning for Embedded Systems." In 2017 IEEE 41st Annual Computer Software and Applications Conference (COMPSAC). IEEE, 2017. http://dx.doi.org/10.1109/compsac.2017.226.

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

Tabrizi, Farid Molazem, and Karthik Pattabiraman. "Intrusion Detection System for Embedded Systems." In Middleware '15: 16th International Middleware Conference. New York, NY, USA: ACM, 2015. http://dx.doi.org/10.1145/2843966.2843975.

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

Kwon, KiSeun, YoungMin Yi, DoHyung Kim, and SoonHoi Ha. "Embedded software generation from system level specification for multi-tasking embedded systems." In the 2005 conference. New York, New York, USA: ACM Press, 2005. http://dx.doi.org/10.1145/1120725.1120792.

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

Glesner, Manfred, and Francois Philipp. "Embedded systems design for smart system integration." In 2013 IEEE Computer Society Annual Symposium on VLSI. Emerging VLSI Technologies and Architectures (ISVLSI). IEEE, 2013. http://dx.doi.org/10.1109/isvlsi.2013.6654611.

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

Qingyu, Ou, Luo Fang, and Huang Kai. "High-Security System Primitive for Embedded Systems." In 2009 International Conference on Multimedia Information Networking and Security. IEEE, 2009. http://dx.doi.org/10.1109/mines.2009.48.

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

Reports on the topic "Embedded systeem"

1

Andronick, June, and Gerwin Klein. Formal System Verification for Trustworthy Embedded Systems. Fort Belvoir, VA: Defense Technical Information Center, April 2011. http://dx.doi.org/10.21236/ada541318.

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

Strasel, H. C., F. N. Dyer, J. T. Roth, I. N. Alderman, and D. L. Finley. Implementing Embedded Training (ET). Volume 2. Embedded Training as a System Alternative. Fort Belvoir, VA: Defense Technical Information Center, August 1988. http://dx.doi.org/10.21236/ada204836.

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

Cooper, Keith D., Devika Subramanian, and Linda Torczon. Code Optimization for Embedded Systems. Fort Belvoir, VA: Defense Technical Information Center, June 2003. http://dx.doi.org/10.21236/ada417472.

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

Welderman, Nelson H., Neal Altman, Mark Borger, Patrick Donohoe, William E. Hefley, Mark H. Klein, Stephan F. Landherr, Hans Mumm, and John A. Slusrz. Ada Embedded Systems Testbed Project. Fort Belvoir, VA: Defense Technical Information Center, December 1987. http://dx.doi.org/10.21236/ada200609.

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

Sprinkle, Jonathan. Modeling of Embedded Human Systems. Fort Belvoir, VA: Defense Technical Information Center, July 2013. http://dx.doi.org/10.21236/ada589568.

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

Kianzad, Vida, and Shuvra S. Bhattacharyya. Multiprocessor Clustering for Embedded System Implementation. Fort Belvoir, VA: Defense Technical Information Center, June 2001. http://dx.doi.org/10.21236/ada475832.

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

Fisher, David A. Principles of Trust for Embedded Systems. Fort Belvoir, VA: Defense Technical Information Center, March 2012. http://dx.doi.org/10.21236/ada611117.

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

Ortega, Ross B., and Gaetano Borriello. Communication Synthesis for Distributed Embedded Systems. Fort Belvoir, VA: Defense Technical Information Center, January 1998. http://dx.doi.org/10.21236/ada416530.

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

Satterthwaite, Charles P. Technologies for Avionics Embedded Computer Systems. Fort Belvoir, VA: Defense Technical Information Center, February 1994. http://dx.doi.org/10.21236/ada276364.

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

Lee, Insup. Advanced Tool Integration for Embedded System Assurances. Fort Belvoir, VA: Defense Technical Information Center, April 2006. http://dx.doi.org/10.21236/ada459299.

Full text
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