Source author record

Michael K. Wilkinson

Michael K. Wilkinson appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

hep-ex hep-ph Software Engineering

Catalog footprint

What is connected

2works

3topics

4close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2022arXiv

The Road Ahead for CODEX-b

In this Snowmass contribution we present a comprehensive status update on the progress and plans for the proposed CODEX-b detector, intended to search for long-lived particles beyond the Standard Model. We review the physics case for the proposal and present recent progress on optimization strategies for the detector and shielding design, as well as the development of new fast and full simulation frameworks. A summary of the technical design for a smaller demonstrator detector (CODEX-$β$) for the upcoming Run~3 of the LHC is also discussed, alongside the road towards realization of the full experiment at the High-Luminosity LHC.

preprint2020arXiv

Architecture Definition in Complex System Design Using Model Theory

Architecture Definition, which is central to system design, is one of the two most used technical processes in the practice of model-based systems engineering. In this paper a fundamental approach to architecture definition is presented and demonstrated. The success of its application to engineering problems depends on a precise but practical definition of the term architecture. In the standard for Architecture Description, ISO/IEC/IEEE 42010:2011, a definition was adopted that has been subsumed into later standards. In 2018 the working group JTC1/SC7/WG42 on System Architecture began a review of the adopted definition, holding sessions late in the year. This paper extends and complements a position paper submitted during the meetings; in which Tarski model theory and ISO/IEC 24707:2018 (logic-based languages) were used to better understand relationships between system models and concepts related to architecture. Independent from the working group, it now contributes intuitive fundamental definitions of the terms architecture and system that are used to specify a mathematically based technical process for architecture definition. The engineering utility and benefits to complex system design are demonstrated in a diesel engine emissions reduction case study.