Academic literature on the topic 'Embedded systeem'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
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"
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 textBegalinova, 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 textPattanaik, 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 textPattanaik, 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 textMojarad, 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 textKOPČÍ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 textPRABHU, 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 textNiu, 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 textJ, 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 textHwang, 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 textDissertations / Theses on the topic "Embedded systeem"
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 textTosun, 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 textBetlach, 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 textCorté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 textEmbedded 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.
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 textAtt 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.
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 textSundmark, 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 textVallius, T. (Tero). "An embedded object approach to embedded system development." Doctoral thesis, University of Oulu, 2009. http://urn.fi/urn:isbn:9789514292941.
Full textWiklander, 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 textDunkels, 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 textBooks on the topic "Embedded systeem"
service), SpringerLink (Online, ed. Embedded System Design: Embedded Systems Foundations of Cyber-Physical Systems. Dordrecht: Springer Science+Business Media B.V., 2011.
Find full textIniewski, Krzysztof, ed. Embedded Systems. Hoboken, NJ, USA: John Wiley & Sons, Inc., 2012. http://dx.doi.org/10.1002/9781118468654.
Full textKü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 textKordon, 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 textZhang, 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 textMarwedel, Peter. Embedded System Design. Dordrecht: Springer Netherlands, 2011. http://dx.doi.org/10.1007/978-94-007-0257-8.
Full textGajski, 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 textBaron, 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 textBook chapters on the topic "Embedded systeem"
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 textEvers, 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 textMarwedel, 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 textMarwedel, 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 textKomatsu, 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 textKomatsu, 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 textMaskrey, 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 textLann, 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 textBrä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 textMarwedel, 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 textConference papers on the topic "Embedded systeem"
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 textIssa, 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 textDagli, 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 textLauer, 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 textFerent, 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 textSapienza, 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 textTabrizi, 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 textKwon, 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 textGlesner, 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 textQingyu, 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 textReports on the topic "Embedded systeem"
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 textStrasel, 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 textCooper, 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 textWelderman, 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 textSprinkle, Jonathan. Modeling of Embedded Human Systems. Fort Belvoir, VA: Defense Technical Information Center, July 2013. http://dx.doi.org/10.21236/ada589568.
Full textKianzad, 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 textFisher, 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 textOrtega, 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 textSatterthwaite, 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 textLee, 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