Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page
Demo Data from EDBT 2026 / reviewers in the wild / expert

Simon Fowler 0002

dblp:08/1840-2 · DBLP profile ↗
← Back
1ranked-venue papers
1as first author
0since 2021 · last 1997
—ORCID · unresolved

Domains — the database's venue-derived domains; a paper can count in several

Applied, interdisciplinary, general and emerging computing · 1 · 1 first-author

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Computer architecture, parallel and distributed computing, and storage systems
1 paper
Embedded and real-time systems · 100%
Software engineering, system software, and programming languages
1 paper
Program verification · 100%

Topics — the 3 heaviest of 3, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Embedded and real-time systems › real-time operating systems
real-time kernel		 0.011997
Formal development of a real-time kernel · RTSS 1997
Embedded and real-time systems
real-time operating systems		 0.011997
Formal development of a real-time kernel · RTSS 1997
Program verification
proof assistants		 0.011997
Formal development of a real-time kernel · RTSS 1997

Methods — techniques the papers use, named apart from their topics

RTL · 0.0PVS · 0.0
YearPublicationVenuePosition
1997 Formal development of a real-time kernel
abstract
The formal development of a simple real time operating system kernel is described. The kernel provides a set of operations that allows a restricted Ada 95 tasking model to be supported, suitable for fixed priority real time systems. The requirements for the kernel are expressed in terms of the computational model using RTL, and the abstract specification of the kernel is validated against this. The development of an implementation from this specification is then described, with the PVS proof system used to verify each step in the development process.
Simon Fowler 0002, Andy J. Wellings
 RTSS1