VPS: Difference between revisions
Jump to navigation
Jump to search
Hoof Hearted (talk | contribs) (More info) |
Hoof Hearted (talk | contribs) |
||
| Line 1: | Line 1: | ||
{{Wiki <!--see 'Template:Wiki' for full detail and hidden help advice--> | {{Wiki <!--see 'Template:Wiki' for full detail and hidden help advice--> | ||
|name = <big>VPS</big><br><small>Verifying Interoperability Requirements<br>in Pervasive Systems</small> | |name = <big><s>VPS</s></big><br><small>Verifying Interoperability Requirements<br>in Pervasive Systems</small> | ||
|URL = https://web.archive.org/web/20151227010335/http://Intranet.CSC.Liv.ac.uk/VPS/index.php/Main_Page | |URL = https://web.archive.org/web/20151227010335/http://Intranet.CSC.Liv.ac.uk/VPS/index.php/Main_Page | ||
|logo = [[File:404.jpg|100px|Wiki site is dead, and we can not find a logo :-((|alt= ]] | |logo = [[File:404.jpg|100px|Wiki site is dead, and we can not find a logo :-((|alt=]] | ||
|wide logo = y<!--insert 'y' when the logo is too wide AND / OR the title name is too long--> | |wide logo = y<!--insert 'y' when the logo is too wide AND / OR the title name is too long--> | ||
|recentchanges URL= https://web.archive.org/web/20151228134705/http://Intranet.CSC.Liv.ac.uk/VPS/index.php/Special:RecentChanges | |recentchanges URL= https://web.archive.org/web/20151228134705/http://Intranet.CSC.Liv.ac.uk/VPS/index.php/Special:RecentChanges | ||
| Line 17: | Line 17: | ||
|backupurl = <!--database dump backup file URL; found at '/Special:Statistics' on Wikia & some other MediaWiki sites; archived URL may also be used--> | |backupurl = <!--database dump backup file URL; found at '/Special:Statistics' on Wikia & some other MediaWiki sites; archived URL may also be used--> | ||
|backupdate = 20YY-MM-DD<!--YYYY-MM-DD, ISO 8601 extended date of backup URL; if unknown, dynamic or NO date, DELETE this field--> | |backupdate = 20YY-MM-DD<!--YYYY-MM-DD, ISO 8601 extended date of backup URL; if unknown, dynamic or NO date, DELETE this field--> | ||
}}{{DISPLAYTITLE:<s>VPS</s>}} | }}{{Dead-since|late 2018}}{{DISPLAYTITLE:<s>VPS</s>}} | ||
{{Size <!--see 'Template:Size' for extensive full detail--> | {{Size <!--see 'Template:Size' for extensive full detail--> | ||
|pages= 14<!--plain numeric value for number of CONTENT pages (or Files on a commons wiki); NO thousands separators--> | |pages= 14<!--plain numeric value for number of CONTENT pages (or Files on a commons wiki); NO thousands separators--> | ||
| Line 25: | Line 25: | ||
}}(As of: 2018-09-13 – [[WikiApiary]])<!--YYYY-MM-DD; manually add/amend ISO 8601 date when stats are verified and/or updated--> | }}(As of: 2018-09-13 – [[WikiApiary]])<!--YYYY-MM-DD; manually add/amend ISO 8601 date when stats are verified and/or updated--> | ||
'''VPS''' was the wiki site from the Department of Computer Science, University of Liverpool, {{tag|Founded in 2008|founded on 2008-05-19}},[https://web.archive.org/web/20151228135554/http://Intranet.CSC.Liv.ac.uk/VPS/index.php?title=Verifying_Interoperability_Requirements_in_Pervasive_Systems&action=history] for the '''Verifying Interoperability Requirements in Pervasive Systems''' (VPS) project, an [https://www.ukri.org/councils/epsrc/ EPSRC]-funded {{tag|collaboration}} between the {{tag|University|Universities}} of {{tag|Birmingham}}, {{tag|Glasgow}}, and {{tag|Liverpool}} in the [[:Category:United Kingdom|United Kingdom]]. | '''VPS''' was the wiki site from the Department of Computer Science, University of Liverpool, {{tag|Founded in 2008|founded on 2008-05-19}},[https://web.archive.org/web/20151228135554/http://Intranet.CSC.Liv.ac.uk/VPS/index.php?title=Verifying_Interoperability_Requirements_in_Pervasive_Systems&action=history] for the '''Verifying Interoperability Requirements in Pervasive Systems''' (VPS) project, an [https://www.ukri.org/councils/epsrc/ EPSRC]-funded {{tag|collaboration}} between the {{tag|University|Universities}} of {{tag|Birmingham}}, {{tag|Glasgow}}, and {{tag|Liverpool}} in the [[:Category:United Kingdom|United Kingdom]]. | ||
| Line 46: | Line 46: | ||
===External links=== | ===External links=== | ||
{{WikiApiary}} | {{WikiApiary}} | ||
*[[Archive.org:*/http://Intranet.CSC.Liv.ac.uk/VPS*|List of 34 archived URLs captured for Intranet.CSC.Liv.ac.uk/VPS*]] — at [[Archive.org]] | *[[Archive.org:*/http://Intranet.CSC.Liv.ac.uk/VPS*|List of 34 archived URLs captured for <tt>Intranet.CSC.Liv.ac.uk/VPS*</tt>]] — at [[Archive.org]] | ||
[[Category:Chick]] | [[Category:Chick]] | ||
Latest revision as of 19:39, 17 July 2023
| |
|---|---|
Verifying Interoperability Requirements in Pervasive Systems Recent changes • [No WikiNode] • [No About] • [No Mobile URL] | |
| Founded by: | University of Liverpool |
| Status: | Dead |
| Language: | English |
| Edit mode: | ByInvitation |
| Wiki engine: | MediaWiki |
| Wiki license: | No license |
| Main topic: | Research |
- This VPS has been dead (offline) since late 2018.
| Wiki size: | 14 article pages see stats |
(As of: 2018-09-13 – WikiApiary)
VPS was the wiki site from the Department of Computer Science, University of Liverpool, founded on 2008-05-19,[1] for the Verifying Interoperability Requirements in Pervasive Systems (VPS) project, an EPSRC-funded collaboration between the Universities of Birmingham, Glasgow, and Liverpool in the United Kingdom.
Aims[edit]
The project brings together qualitative techniques, including deductive methods, model checking, and abstraction methods, with quantitative techniques, including probabilistic and performance analysis, in order to tackle the problem of verifying pervasive systems.
In order to tackle the challenge of pervasive system verification, the project aims to leverage the power of established techniques, notably
- model checking,
- a logic-based approach to analysing properties of state-based systems. There has been work (some of which was carried out by the investigators) on extensions such as parametrised model checking, infinite state model checking and probabilistic model checking, and this will be developed further within the project.
- deduction and abstraction,
- two closely linked, approaches that can be used either to reduce the verification problem to a scale suitable for model checking, or to tackle the larger problem directly.
- process calculi
- allowing high level descriptions of interaction, communication and synchronisation in concurrent systems.
Within the overall aim of developing viable and appropriate techniques for verifying interoperability requirements in pervasive systems, the project will address the following research objectives:
- develop frameworks for modelling interoperability requirements in pervasive systems (specifically, interaction requirements, performance and security).
- develop verification techniques that are tailored to analysing the requirements in models of pervasive systems.
- evaluate the techniques on significant case studies in a realistic application domain of distributed systems.
External links[edit]
- VPS — at WikiApiary.com (founded 2011), the wiki site for detailed information on all MediaWiki-powered websites
- List of 34 archived URLs captured for Intranet.CSC.Liv.ac.uk/VPS* — at Archive.org