Abstract
Recently there has been much research on fulfilling tasks such as surveillance and reconnaissance coupled with a sensor networks system. It is possible to realize the system because of many technical progresses in the area of sensor networks such as signal processing, wireless networks, sensor deployment, etc. To construct sensor network systems effectively and efficiently, lots of considerations such as user requirements, sensor capabilities, and signal processing technologies should be reviewed. Consistent and unambiguous architecture for the development process coupled with the technologies should be built. This paper presents a verifiable logical architecture with petri net.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
DoD Architecture Framework Version 2.02 (August 2010)
CPN Tools Version 3.2.2 (October 2011), http://www.cpntools.org/
Girault, C., Valk, R.: Petri Nets for Systems Engineering: A guide to Modeling, Verification, and Application. Springer (2003)
IDEF0, http://www.idef.com
Karl, H., Willig, A.: Protocols and Architectures for Wireless Sensor Networks. Wiley (2005)
Wagenhals, L.W., Shin, I., Kim, D., Levis, A.H.: C4ISR Architectures II: A Structured Analysis Approach for Architecture Design. Systems Engineering 3(4) (Fall 2000)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kim, D., Lee, S., Ahn, M. (2013). A Lesson from the Development of Surveillance and Reconnaissance Sensor Networks Systems. In: Park, J.J.(.H., Arabnia, H.R., Kim, C., Shi, W., Gil, JM. (eds) Grid and Pervasive Computing. GPC 2013. Lecture Notes in Computer Science, vol 7861. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-38027-3_63
Download citation
DOI: https://doi.org/10.1007/978-3-642-38027-3_63
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-38026-6
Online ISBN: 978-3-642-38027-3
eBook Packages: Computer ScienceComputer Science (R0)