Filters








6,137 Hits in 3.9 sec

Rapidly Adjustable Non-intrusive Online Monitoring for Multi-core Systems [chapter]

Normann Decker, Philip Gottschling, Christian Hochberger, Martin Leucker, Torben Scheffel, Malte Schmitz, Alexander Weiss
2017 Lecture Notes in Computer Science  
TeSSLa in real time.  ...  Therefore, iterated testing and property adjustment during development and debugging becomes feasible while preserving the option of arbitrarily extending observation time, which may be necessary to detect  ...  Using the stream-based specification language TeSSLa we can express correctness properties as well as statistics and numeric metrics, both with support for real-time operations.  ... 
doi:10.1007/978-3-319-70848-5_12 fatcat:ejtphr7w3zeh7obawxla2cqkee

Heterogeneous Runtime Verification of Safety Critical Cyber Physical Systems [article]

Smitha Gautham, Abhilash Rajagopala, Athira Varma Jayakumar, Christopher Deloglos, Erwin Karincic, Carl Elks
2020 arXiv   pre-print
We implement the runtime monitors on FPGA using a stream-based runtime verification tool called TeSSLa. We demonstrate our monitoring scheme for an Autonomous Emergency Braking (AEB) CPS system.  ...  Towards this goal, we demonstrate a multilevel runtime safety and security monitor framework where there are monitors across the CPS for detection and isolation of attacks.  ...  ACKNOWLEDGMENT We would like to thank the TeSSLa runtime verification team, University Institute for Software Engineering and Programming Languages, University of Lubeck, Germany for assistance with the  ... 
arXiv:2009.09533v1 fatcat:3mqpdtj5k5g2vdyezgqcrujbka

Hardware-Based Runtime Verification with Embedded Tracing Units and Stream Processing [chapter]

Lukas Convent, Sebastian Hungerecker, Torben Scheffel, Malte Schmitz, Daniel Thoma, Alexander Weiss
2018 Lecture Notes in Computer Science  
time using FPGAs.  ...  In this tutorial, we present a comprehensive approach to nonintrusive monitoring of multi-core processors.  ...  These streams are well suited to model the (timed) behaviour of all kinds of systems with one or multiple time sources. Properties and analyses are then described by stream transformations.  ... 
doi:10.1007/978-3-030-03769-7_5 fatcat:bxgfjsyzpfbpfksid3gu54kfxq

RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft [chapter]

Jan Baumeister, Bernd Finkbeiner, Sebastian Schirmer, Maximilian Schwenger, Christoph Torens
2020 Lecture Notes in Computer Science  
RTLola is a stream-based specification language for real-time properties.  ...  An RTLola specification of hazardous situations and system failures is statically analyzed in terms of consistency and resource usage and then automatically translated into an FPGA-based monitor.  ...  Apart from stream-based monitoring, there is a rich body of monitoring based on real-time temporal logics [2, 10, [14] [15] [16] 20] such as Signal Temporal Logic (STL) [17] .  ... 
doi:10.1007/978-3-030-53291-8_3 fatcat:wyxklds3pbb2hae5tc62deefbe

Platform-Based Design Approach for Embedded Vision Applications

Jai Gopal Pandey, Abhijit Karmakar, Chandra Shekhar, S. Gurunarayanan
2013 Journal of Image and Graphics  
streaming; Virtex-5 FPGA.  ...  We have used the platform-based design approach to design a configurable real-time image and video streaming module for vision-based systems on an Virtex-5 FPGA.  ...  Raj Singh, Chief Scientist, IC Design Group, CSIR-CEERI, Pilani, for providing the necessary resources through the Department of Electronics and Information Technology (DeitY)/ Ministry of Communications  ... 
doi:10.12720/joig.1.1.1-6 fatcat:ap6ghkscz5cbdjl7wbwbpdpddm

Embedded Real-Time Video Processing System on FPGA [chapter]

Yahia Said, Taoufik Saidani, Fethi Smach, Mohamed Atri, Hichem Snoussi
2012 Lecture Notes in Computer Science  
This paper briefly presents the design of Sobel edge detector system on FPGA.  ...  The introduction of reconfigurable devices and high level hardware programming languages has further accelerated the design of image processing in FPGA.  ...  Therefore, FPGAs are an ideal choice for implementation of real time image processing algorithms [2] .  ... 
doi:10.1007/978-3-642-31254-0_10 fatcat:e4nywea4cfhs7ccy4bwecbirqu

Symbiote

Pranav S. Vaidya, Jaehwan John Lee, Francis Bowen, Yingzi Du, Chandima H. Nadungodage, Yuni Xia
2010 Proceedings of the 2010 international conference on Management of data - SIGMOD '10  
Such multimedia monitoring systems usually have high-bandwidth characteristics, stricter real-time deadlines, and high accuracy requirements.  ...  Numerous monitoring applications such as traffic control systems, border patrol monitoring, and person locater services generate a large number of multimedia data streams that need to be analyzed and processed  ...  Figure 2 shows the architecture of the Symbiote node that is specifically designed for a real-time traffic monitoring application.  ... 
doi:10.1145/1807167.1807304 dblp:conf/sigmod/VaidyaLBDNX10 fatcat:p6pe2enib5e33e577frco74mly

Online analysis of debug trace data for embedded systems

Normann Decker, Boris Dreyer, Philip Gottschling, Christian Hochberger, Alexander Lange, Martin Leucker, Torben Scheffel, Simon Wegener, Alexander Weiss
2018 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE)  
In this contribution, we present an FPGAbased solution that is able to process the trace data in real-time, enabling continuous observation of the state of a core.  ...  In the past, the common way to deal with this data was storing it for later offline analysis, which severely limits the time span that can be observed.  ...  Each message stream is processed in real-time by one IR unit [9] .  ... 
doi:10.23919/date.2018.8342124 dblp:conf/date/DeckerDGHLLSWW18 fatcat:l6yfxktcwjf2bobabrdczrjaim

RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft [article]

Jan Baumeister and Bernd Finkbeiner and Sebastian Schirmer and Maximilian Schwenger and Christoph Torens
2020 arXiv   pre-print
RTLola is a stream-based specification language for real-time properties.  ...  An RTLola specification of hazardous situations and system failures is statically analyzed in terms of consistency and resource usage and then automatically translated into an FPGA-based monitor.  ...  Apart from stream-based monitoring, there is a rich body of monitoring based on real-time temporal logics [2, 9, [14] [15] [16] 20] such as Signal Temporal Logic (STL) [17] .  ... 
arXiv:2004.06488v3 fatcat:lj2nduri6bfgxbswqyzt7s3m2y

FPGA-based testbed for timing behavior evaluation of the Controller Area Network (CAN)

Tobias Ziermann, Alexander Butiu, Jurgen Teich, Daniel Ziener
2012 2012 International Conference on Reconfigurable Computing and FPGAs  
The use of FPGAs as processing nodes allows to accurately perform measurements without influencing the original system due to the inherent parallelism of programmable hardware.  ...  In these systems the timely transmission of data messages is a key requirement.  ...  These tasks fulfill the properties of the streams described in Section II-B.  ... 
doi:10.1109/reconfig.2012.6416750 dblp:conf/reconfig/ZiermannBTZ12 fatcat:t3evqkil6jeunnhg2z2b6xl6ly

Industrial Vision Based Process Monitoring for Laser Cladding.pdf [article]

Keith Lorenz, Laura Justham, Michael Jackson
2019 Figshare  
This work presents how some of the urgent monitoring requirements are addressed using vision specific FPGAs developed using a proprietary Integrated Development Environment (IDE).  ...  Additionally, the topology of FPGAs are presented and compared to traditional vision processing architecture.  ...  ACKNOWLEDGEMENTS The authors of this paper would like to express thanks to the Manufacturing Technology Centre and Loughborough University.  ... 
doi:10.6084/m9.figshare.11298059.v1 fatcat:vjqdd65nfrabjoazb45easi5nu

Evaluation of runtime monitoring methods for real-time event streams

Biao Hu, Kai Huang, Gang Chen, Alois Knoll
2015 The 20th Asia and South Pacific Design Automation Conference  
., dynamic counters and l-repetitive function, are recently developed to tackle the runtime monitoring for hard real-time systems.  ...  We also provide FPGA implementations and resource usages of both methods.  ...  In this paper, we only concentrate on monitoring single event stream of the real-time task.  ... 
doi:10.1109/aspdac.2015.7059071 dblp:conf/aspdac/HuHCK15 fatcat:hwitencdn5b6re6gr3waq3dsxy

Self-Adaptive Architecture for Multi-Sensor Embedded Vision System [chapter]

Ali Isavudeen, Eva Dokladalova, Nicolas Ngan, Mohamed Akil
2016 Lecture Notes in Computer Science  
Architecture of the system is self-adapted thanks to a system monitor and an adaptation controller. A stream header concept is used to convey sensor information to the self-adaptive architecture.  ...  The proposed architecture was implemented in Altera Cyclone V FPGA. In this implementation, adaptation of the architecture consists in Dynamic and Partial Reconfiguration of FPGA.  ...  In real time vision application, this concept was used to add description of the image frame into the image packets [12] .  ... 
doi:10.1007/978-3-319-29817-7_7 fatcat:siy5qu6ayvdibiehm55p4upgcu

Design of Embedded Vision System based on FPGA-SoC

Ahmed Alsheikhy, Yahia Fahem
2019 International Journal of Advanced Computer Science and Applications  
This design facilitates video streaming from the camera to the monitor and hardware processing over real-time FPGA-SoC.  ...  All the elements are thus brought together to make artificial vision one of the most promising, even unifying scientific "challenges" of our time.  ...  ACKNOWLEDGMENT The authors wish to acknowledge the approval and the support of this research study by the grant N° ENG-2018-3-9-F-7705 from the Deanship of the Scientific Research in Northern Border University  ... 
doi:10.14569/ijacsa.2019.0101013 fatcat:b73ko3gpu5cnvnnwyhfodm6ctm

Understanding the performance of streaming applications deployed on hybrid systems

Joseph Lancaster, Ron Cytron, Roger D. Chamberlain
2008 Proceedings, International Parallel and Distributed Processing Symposium (IPDPS)  
Significant performance gains have been reported by exploiting the specialized characteristics of hybrid computing architectures for a number of streaming applications.  ...  We have built an application development environment, Auto-Pipe, that targets streaming applications deployed on hybrid architectures.  ...  This information can inform developers of real-time systems of performance-related issues which are considered bugs.  ... 
doi:10.1109/ipdps.2008.4536381 dblp:conf/ipps/LancasterCC08 fatcat:vkph6rver5ebrgkhlj5gz77k3q
« Previous Showing results 1 — 15 out of 6,137 results