Structural integrity: safety in miniature technology
Micro-Electro-Mechanical (MEMS) sensing and actuation devices are poised to reinvent the cyber-physical world by providing environmental connectivity in unprecedented ways. MEMS accelerometers and transducers open the door to sensor networks embedded in physical structures, armed with the ability to...
Gespeichert in:
| Veröffentlicht in: | SIGBED review 2008-01, Vol.5 (1), p.1-2, Article 14 |
|---|---|
| Hauptverfasser: | , , |
| Format: | Artikel |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 2 |
|---|---|
| container_issue | 1 |
| container_start_page | 1 |
| container_title | SIGBED review |
| container_volume | 5 |
| creator | Hoover, Greg Brewer, Forrest Sherwood, Timothy |
| description | Micro-Electro-Mechanical (MEMS) sensing and actuation devices are poised to reinvent the cyber-physical world by providing environmental connectivity in unprecedented ways. MEMS accelerometers and transducers open the door to sensor networks embedded in physical structures, armed with the ability to monitor structural integrity. Such applications are the hallmark of deeply embedded systems, where autonomy, communication, and cyber-physical interaction play pivotal roles in system effectiveness. Realization of these next-generation embedded systems will require expertise spanning a variety of domains, further exacerbating the already significant integration effort of modern design. To this end, we propose a system-level design methodology that promotes functional correctness through specification of latency-insensitive (or event-based) behavior. |
| doi_str_mv | 10.1145/1366283.1366297 |
| format | Article |
| fullrecord | <record><control><sourceid>acm_cross</sourceid><recordid>TN_cdi_crossref_primary_10_1145_1366283_1366297</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>1366297</sourcerecordid><originalsourceid>FETCH-LOGICAL-a597-ecceaffb05bbece5af1398f89ef1c3a4bb4718c368e7364f62026f988ab100603</originalsourceid><addsrcrecordid>eNpNj81KA0EQhAdRMEZvguDJF9ike-dnZ44SNAoBD-Y-9AzdspKozGwOeXujWdBTNVRVF59SNwgzRGPnqJ1rvZ79auhO1AStxUY770__3efqotZ3AI3Omom6fh3KLg-7Qpu7_mPgt9IP-0t1JrSpfDXqVK0fH9aLp2b1snxe3K8asqFrOGcmkQQ2Jc5sSVAHLz6wYNZkUjId-nwY5U47I66F1knwnhICONBTNT--zeWz1sISv0q_pbKPCPGHKY5McWQ6NG6PDcrbv_BofgOFzUYy</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype></control><display><type>article</type><title>Structural integrity: safety in miniature technology</title><source>ACM Digital Library</source><creator>Hoover, Greg ; Brewer, Forrest ; Sherwood, Timothy</creator><creatorcontrib>Hoover, Greg ; Brewer, Forrest ; Sherwood, Timothy</creatorcontrib><description>Micro-Electro-Mechanical (MEMS) sensing and actuation devices are poised to reinvent the cyber-physical world by providing environmental connectivity in unprecedented ways. MEMS accelerometers and transducers open the door to sensor networks embedded in physical structures, armed with the ability to monitor structural integrity. Such applications are the hallmark of deeply embedded systems, where autonomy, communication, and cyber-physical interaction play pivotal roles in system effectiveness. Realization of these next-generation embedded systems will require expertise spanning a variety of domains, further exacerbating the already significant integration effort of modern design. To this end, we propose a system-level design methodology that promotes functional correctness through specification of latency-insensitive (or event-based) behavior.</description><identifier>ISSN: 1551-3688</identifier><identifier>EISSN: 1551-3688</identifier><identifier>DOI: 10.1145/1366283.1366297</identifier><language>eng</language><publisher>New York, NY, USA: ACM</publisher><subject>Computer systems organization ; Cross-computing tools and techniques ; Dependable and fault-tolerant systems and networks ; Embedded and cyber-physical systems ; Embedded software ; Embedded systems ; Formal methods ; Formal software verification ; General and reference ; Management of computing and information systems ; Network performance evaluation ; Networks ; Professional topics ; Program reasoning ; Program verification ; Project and people management ; Real-time systems ; Real-time systems software ; Semantics and reasoning ; Social and professional topics ; Software and its engineering ; Software creation and management ; Software development process management ; Software functional properties ; Software organization and properties ; Software system structures ; Software verification ; Software verification and validation ; Systems analysis and design ; Theory of computation ; Verification</subject><ispartof>SIGBED review, 2008-01, Vol.5 (1), p.1-2, Article 14</ispartof><rights>Authors</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed><cites>FETCH-LOGICAL-a597-ecceaffb05bbece5af1398f89ef1c3a4bb4718c368e7364f62026f988ab100603</cites></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktopdf>$$Uhttps://dl.acm.org/doi/pdf/10.1145/1366283.1366297$$EPDF$$P50$$Gacm$$H</linktopdf><link.rule.ids>314,780,784,2280,27923,27924,40195,75999</link.rule.ids></links><search><creatorcontrib>Hoover, Greg</creatorcontrib><creatorcontrib>Brewer, Forrest</creatorcontrib><creatorcontrib>Sherwood, Timothy</creatorcontrib><title>Structural integrity: safety in miniature technology</title><title>SIGBED review</title><addtitle>ACM SIGBED</addtitle><description>Micro-Electro-Mechanical (MEMS) sensing and actuation devices are poised to reinvent the cyber-physical world by providing environmental connectivity in unprecedented ways. MEMS accelerometers and transducers open the door to sensor networks embedded in physical structures, armed with the ability to monitor structural integrity. Such applications are the hallmark of deeply embedded systems, where autonomy, communication, and cyber-physical interaction play pivotal roles in system effectiveness. Realization of these next-generation embedded systems will require expertise spanning a variety of domains, further exacerbating the already significant integration effort of modern design. To this end, we propose a system-level design methodology that promotes functional correctness through specification of latency-insensitive (or event-based) behavior.</description><subject>Computer systems organization</subject><subject>Cross-computing tools and techniques</subject><subject>Dependable and fault-tolerant systems and networks</subject><subject>Embedded and cyber-physical systems</subject><subject>Embedded software</subject><subject>Embedded systems</subject><subject>Formal methods</subject><subject>Formal software verification</subject><subject>General and reference</subject><subject>Management of computing and information systems</subject><subject>Network performance evaluation</subject><subject>Networks</subject><subject>Professional topics</subject><subject>Program reasoning</subject><subject>Program verification</subject><subject>Project and people management</subject><subject>Real-time systems</subject><subject>Real-time systems software</subject><subject>Semantics and reasoning</subject><subject>Social and professional topics</subject><subject>Software and its engineering</subject><subject>Software creation and management</subject><subject>Software development process management</subject><subject>Software functional properties</subject><subject>Software organization and properties</subject><subject>Software system structures</subject><subject>Software verification</subject><subject>Software verification and validation</subject><subject>Systems analysis and design</subject><subject>Theory of computation</subject><subject>Verification</subject><issn>1551-3688</issn><issn>1551-3688</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2008</creationdate><recordtype>article</recordtype><recordid>eNpNj81KA0EQhAdRMEZvguDJF9ike-dnZ44SNAoBD-Y-9AzdspKozGwOeXujWdBTNVRVF59SNwgzRGPnqJ1rvZ79auhO1AStxUY770__3efqotZ3AI3Omom6fh3KLg-7Qpu7_mPgt9IP-0t1JrSpfDXqVK0fH9aLp2b1snxe3K8asqFrOGcmkQQ2Jc5sSVAHLz6wYNZkUjId-nwY5U47I66F1knwnhICONBTNT--zeWz1sISv0q_pbKPCPGHKY5McWQ6NG6PDcrbv_BofgOFzUYy</recordid><startdate>20080101</startdate><enddate>20080101</enddate><creator>Hoover, Greg</creator><creator>Brewer, Forrest</creator><creator>Sherwood, Timothy</creator><general>ACM</general><scope>AAYXX</scope><scope>CITATION</scope></search><sort><creationdate>20080101</creationdate><title>Structural integrity</title><author>Hoover, Greg ; Brewer, Forrest ; Sherwood, Timothy</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-a597-ecceaffb05bbece5af1398f89ef1c3a4bb4718c368e7364f62026f988ab100603</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2008</creationdate><topic>Computer systems organization</topic><topic>Cross-computing tools and techniques</topic><topic>Dependable and fault-tolerant systems and networks</topic><topic>Embedded and cyber-physical systems</topic><topic>Embedded software</topic><topic>Embedded systems</topic><topic>Formal methods</topic><topic>Formal software verification</topic><topic>General and reference</topic><topic>Management of computing and information systems</topic><topic>Network performance evaluation</topic><topic>Networks</topic><topic>Professional topics</topic><topic>Program reasoning</topic><topic>Program verification</topic><topic>Project and people management</topic><topic>Real-time systems</topic><topic>Real-time systems software</topic><topic>Semantics and reasoning</topic><topic>Social and professional topics</topic><topic>Software and its engineering</topic><topic>Software creation and management</topic><topic>Software development process management</topic><topic>Software functional properties</topic><topic>Software organization and properties</topic><topic>Software system structures</topic><topic>Software verification</topic><topic>Software verification and validation</topic><topic>Systems analysis and design</topic><topic>Theory of computation</topic><topic>Verification</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Hoover, Greg</creatorcontrib><creatorcontrib>Brewer, Forrest</creatorcontrib><creatorcontrib>Sherwood, Timothy</creatorcontrib><collection>CrossRef</collection><jtitle>SIGBED review</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Hoover, Greg</au><au>Brewer, Forrest</au><au>Sherwood, Timothy</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Structural integrity: safety in miniature technology</atitle><jtitle>SIGBED review</jtitle><stitle>ACM SIGBED</stitle><date>2008-01-01</date><risdate>2008</risdate><volume>5</volume><issue>1</issue><spage>1</spage><epage>2</epage><pages>1-2</pages><artnum>14</artnum><issn>1551-3688</issn><eissn>1551-3688</eissn><abstract>Micro-Electro-Mechanical (MEMS) sensing and actuation devices are poised to reinvent the cyber-physical world by providing environmental connectivity in unprecedented ways. MEMS accelerometers and transducers open the door to sensor networks embedded in physical structures, armed with the ability to monitor structural integrity. Such applications are the hallmark of deeply embedded systems, where autonomy, communication, and cyber-physical interaction play pivotal roles in system effectiveness. Realization of these next-generation embedded systems will require expertise spanning a variety of domains, further exacerbating the already significant integration effort of modern design. To this end, we propose a system-level design methodology that promotes functional correctness through specification of latency-insensitive (or event-based) behavior.</abstract><cop>New York, NY, USA</cop><pub>ACM</pub><doi>10.1145/1366283.1366297</doi><tpages>2</tpages></addata></record> |
| fulltext | fulltext |
| identifier | ISSN: 1551-3688 |
| ispartof | SIGBED review, 2008-01, Vol.5 (1), p.1-2, Article 14 |
| issn | 1551-3688 1551-3688 |
| language | eng |
| recordid | cdi_crossref_primary_10_1145_1366283_1366297 |
| source | ACM Digital Library |
| subjects | Computer systems organization Cross-computing tools and techniques Dependable and fault-tolerant systems and networks Embedded and cyber-physical systems Embedded software Embedded systems Formal methods Formal software verification General and reference Management of computing and information systems Network performance evaluation Networks Professional topics Program reasoning Program verification Project and people management Real-time systems Real-time systems software Semantics and reasoning Social and professional topics Software and its engineering Software creation and management Software development process management Software functional properties Software organization and properties Software system structures Software verification Software verification and validation Systems analysis and design Theory of computation Verification |
| title | Structural integrity: safety in miniature technology |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-11T11%3A01%3A42IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-acm_cross&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Structural%20integrity:%20safety%20in%20miniature%20technology&rft.jtitle=SIGBED%20review&rft.au=Hoover,%20Greg&rft.date=2008-01-01&rft.volume=5&rft.issue=1&rft.spage=1&rft.epage=2&rft.pages=1-2&rft.artnum=14&rft.issn=1551-3688&rft.eissn=1551-3688&rft_id=info:doi/10.1145/1366283.1366297&rft_dat=%3Cacm_cross%3E1366297%3C/acm_cross%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true |