title: Traditional Knowledge (TK) Labels Transforming Data Infrastructure to Recognise Indigenous Provenance

authors: Hudson, Maui

subjects: Data

abstract: Associate Professor Maui Hudson, KatieLee Riddle and Dr Janette Hamilton-Pearce introduced the latest developments and applications of the Traditional Knowledge Labels and the Local Contexts Hub with examples of use by researchers in Aotearoa New Zealand.

text: Traditional Knowledge (TK) Labels Transforming Data Infrastructure to Recognise Indigenous Provenance Associate Professor Maui Hudson, KatieLee Riddle and Dr Janette Hamilton-Pearce introduced the latest developments and applications of the Traditional Knowledge Labels and the Local Contexts Hub with examples of use by researchers in Aotearoa New Zealand.

year: 2022-09-27

title: The COVID-19 domestic vaccine pass: Implications for Māori

authors: Kukutai, Tahu

abstract: The New Zealand government has introduced a COVID-19 domestic vaccine pass to be used in conjunction with the COVID-19 Protection Framework. The Framework is likely to be activated soon after Cabinet meets on 29 November 2021. The pass will be necessary to access places and events that require proof of vaccination under the Framework.
This brief does not argue for or against the introduction of a domestic vaccine pass, but rather discusses key issues that it raises for Māori, and suggests actions to address them. We see four key issues:
• the lack of Māori involvement, as a Tiriti partner, on either the design or implementation of the COVID-19 domestic vaccine pass;
• disproportionate restriction on Māori mobility due to lower Māori vaccination rates;
• privacy and data security concerns;
• uneven implementation that could increase discrimination against Māori and other groups considered to pose a risk to others’ safety.
To respond to these issues we recommend that the implementation of the pass be designed in partnership with Māori and comply with Māori data sovereignty requirements. As Tiriti partners, Māori should expect that the pass will keep their communities safe, while providing opportunities to enact manaakitanga in the matrix of care, and the mana to manage their own affairs.

text: The COVID-19 domestic vaccine pass: Implications for Māori The New Zealand government has introduced a COVID-19 domestic vaccine pass to be used in conjunction with the COVID-19 Protection Framework. The Framework is likely to be activated soon after Cabinet meets on 29 November 2021. The pass will be necessary to access places and events that require proof of vaccination under the Framework.
This brief does not argue for or against the introduction of a domestic vaccine pass, but rather discusses key issues that it raises for Māori, and suggests actions to address them. We see four key issues:
• the lack of Māori involvement, as a Tiriti partner, on either the design or implementation of the COVID-19 domestic vaccine pass;
• disproportionate restriction on Māori mobility due to lower Māori vaccination rates;
• privacy and data security concerns;
• uneven implementation that could increase discrimination against Māori and other groups considered to pose a risk to others’ safety.
To respond to these issues we recommend that the implementation of the pass be designed in partnership with Māori and comply with Māori data sovereignty requirements. As Tiriti partners, Māori should expect that the pass will keep their communities safe, while providing opportunities to enact manaakitanga in the matrix of care, and the mana to manage their own affairs.

year: 2021-11-30

title: Integrating behavioural and formal specifications

authors: Liu, Bowen

subjects: Formal methods

abstract: Behaviour-driven development and formal methods have been shown to be effective techniques for different parts of the interactive system development process. However, when the different parts of an interactive system are combined, issues may arise due to the different focuses of the techniques. For a safety-critical interactive system, where safety is particularly emphasised, using either technique individually does not cover all aspects of the system. Thus a complementary approach of integrating behaviour-driven development and formal methods, would be better suited for developing safety-critical interactive systems.
This thesis presents an investigation into a method that integrates formal methods and behavioural specifications. This method enables the identification of any inconsistencies between the behavioural specification and the Z specification, allowing potential problems to be found and fixed earlier. We also demonstrate how our method supports ensuring consistency after refinement of the Z specification.

text: Integrating behavioural and formal specifications Behaviour-driven development and formal methods have been shown to be effective techniques for different parts of the interactive system development process. However, when the different parts of an interactive system are combined, issues may arise due to the different focuses of the techniques. For a safety-critical interactive system, where safety is particularly emphasised, using either technique individually does not cover all aspects of the system. Thus a complementary approach of integrating behaviour-driven development and formal methods, would be better suited for developing safety-critical interactive systems.
This thesis presents an investigation into a method that integrates formal methods and behavioural specifications. This method enables the identification of any inconsistencies between the behavioural specification and the Z specification, allowing potential problems to be found and fixed earlier. We also demonstrate how our method supports ensuring consistency after refinement of the Z specification.

year: 2024